Cruise stocks trade higher, shrugging off Carnival’s coronavirus warning