Ovation of the Seas, Royal Caribbean International