President Donald Trump is renaming the Gulf of Mexico the Gulf of America. But how will that change go into effect – and will everyone call it that?

Part of a legal description of a boundary line of Dixie County, for instance, says it goes “southerly down the thread of the main stream of said Suwannee River to the Gulf of Mexico; thence along said Gulf of Mexico, including the waters of said gulf within the jurisdiction of the State of Florida, to the mouth of the Steinhatchee River.”