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.

Florida Gov. Ron DeSantis has already embraced the change. He cited the new name in an executive order earlier this week attributing inclement winter weather to a “low pressure moving across the Gulf of America.

In support of President Trump's executive orders, the Coast Guard will send additional resources to maritime borders, the military branch said Tuesday.