Florida officials had not decided whether ships could dock in Florida .
Nonetheless , Florida officials had not decided to allow the ship to dock at Port Everglades as of the next morning.
2020 coronavirus pandemic on cruise ships