[BytesAndGears]

I mean I agree that it’s stupid, but my point was that there are protocols in place to handle this already.

If the US government says it’s the name of something, then it’s any map company’s job to display the valid name of the thing to the users in that country. They still show “Gulf of Mexico” to users in other countries.