The cruise industry is already reeling from the corona­virus crisis in Asia, so