what is the name of the ship whose operator is based in miami , florida ?
majesty of the seas