It is nearly nine o’clock on a Monday morning in Singapore and the 138,300-gt Mariner of the Seas has just docked alongside the Marina Bay Cruise Centre at the end of another Southeast Asian cruise.

As disembarking passengers stream into the terminal building via telescopic gangways, a busy scene begins to play out down on the dock as the Royal Caribbean Cruise Lines ship begins to take on supplies for its next cruise.