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.

One of President Donald Trump's first executive orders will be to rename the Gulf of Mexico to the Gulf of America, according to news reports on Monday. At a news conference at Mar-a-lago in January, Trump said the name change is "appropriate." "We're going to change (it), because we do most of the work there, and it's ours," he said.