Did you know that the Mariner of the Seas is a Royal Caribbean cruise ship…