“

At the end of the day, cruise ships have motors, propellers and rudders, and God forbid we can't operate in the state of Florida for whatever reason, then there are other states that we do operate from, and we can operate from Royal Caribbean for a ship that otherwise would have gone to Florida.