Mapmakers and teachers are re-thinking what to call the gulf of water between Mexico, the United States and Cuba after President Donald Trump ordered it renamed from the Gulf of Mexico to the Gulf of ...

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