From the DF Archive: ‘Golfo Del Gringo Loco’
Trump didn't change the US's officially recognized name of, say, the Atlantic Ocean or the continent of Africa. It's not like "Gulf of Mexico" was on a list of "debatable or controversial names" until he created this controversy out of thin air.
