Florida's DeSantis is in a standoff with the cruise ship industry, CDC over vaccinations