Cruise Lines’ Booking Practices in a Pandemic Are ‘Astonishing’: CDC Official