Explorer of the Seas, Royal Caribbean International