This is beside the point since it isn't the bases of the argument in the executive order to rename the Gulf. But to your point, the Gulf is actually surrounded by America and Mexico. In fact, according to the United States Environmental Protection Agency's factsheet on the Gulf of Mexico, the shoreline from Cape Sable, Florida to the tip of the Yucatan Peninsula is approximately 3,540 miles. The U.S. coastline covers approximately 1,631 miles, leaving approximately 1,909 miles of coastline in Mexico. So, if the argument that the Gulf of Mexico should be renamed the Gulf of America based on milage of shoreline surrounding the Gulf, then clearly the Gulf of America should be renamed the Gulf of Mexico.