Royal Caribbean International owns and operates the Oasis-class cruise ship Allure of the Seas. The Allure of the Seas is…