Florida Gov. Ron DeSantis has already embraced the change. He cited the new name in an executive order earlier this week ...
The deployment was ordered after the Trump administration signaled its intent to rename the Gulf of Mexico and moved quickly to fire the Coast Guard commandant.