Carnival Corp, Royal Caribbean Group and Norwegian Cruise Line Holdings — which run 80% of the world cruise market — have pretty much given up