Royal Caribbean and Florida are at loggerheads as the cruise industry threatens to pull out of Florida, because the CDC mandates they have vaccinated passengers, and Florida says NO to demanding proof of vaccination. Will Florida’s Gov. DeSantis really give up that much revenue?