if so wouldn’t that just end up with the USA following strange semantics other countries don’t?
When it comes to renaming external locations like this that are used by multiple countries, I would imagine it would be a case of how wide the rename is adopted. If I had to take a guess, renaming the Gulf of Mexico or the Atlantic Ocean in more US-centric names isn't as likely to catch on globally and will probably just result in confusion when people from different countries are referring to the same thing.