Mapmakers and teachers are rethinking what to call the body of water between Mexico, the U.S. and Cuba after President Trump ordered it renamed from the Gulf of Mexico to the Gulf of America.

Part of a legal description of a boundary line of Dixie County, for instance, says it goes "southerly down the thread of the ...