Arnold Donald, chief executive of cruise behemoth ­Carnival Corp, must be pleasantly surprised at the ­number of