Gov. Ron DeSantis may have been the first official to use President's Trump's new name for the Gulf of Mexico in an official capacity.

President Donald Trump's recent executive order to rename the Gulf of Mexico as the Gulf of America has thus far elicited a lot of snickering and not much else.

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.