Symphony of the Seas, Royal Caribbean International