The Port of Miami may already be the world’s busiest cruise port, but Royal Caribbean…