Gulf of Mexico? Gulf of America? What’s in a Name, Anyway?

Following President Trump’s order renaming the Gulf of Mexico, at least in the United States, Mexicans and Cubans expressed annoyance, defiance, confusion and even amusement.