But a tug of war over referring to the immense body of water off the coast of the U.S. and Mexico, as well as Cuba, started after President Donald Trump signed an executive order to dub the Gulf of ...