Travel stocks: Cruise line shares rise, casino stocks jump