Despite this, Google Maps and Apple Maps have not yet been updated to reflect these new names — and realistically might not make the change at all. Issued on Monday, Trump's exe

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."