Coronavirus Florida: Cruise lines plan restart, but CDC has not lifted no-sail order