This is the map of the Gulf of Mexico as seen from outside the US on Google Maps.
Google said it would foist the Gulf of America idiocy only on its US users, but apparently the temptation to flatter His Orangeness was too much, so the rest of the world gets to enjoy it too.
I figured I’d rename it too. I mean why not after all: it seems any idiot can make up geography now.
The problem here is that, if only renamed for American people, one might have a hard time conversing with Americans who (stupidly) use the other name.
So I don’t really care for that name to be visible too. As long as it has the true name, and makes sure the Trump name is between brackets.