Are cruise lines sunk? Is the market?