The odd bit about it is that we're talking about a body of international water, not a country. It seems fair that a country gets to decide what it is called (and other countries can call it whatever they decide), but in this case, there IS no 'owner' so no 'official' name. So long as "Gulf of America" only ever appears to users in the US, there may not be much of a problem at all.

I guess the other odd thing about this is how quickly the change appears to have been adopted.

> I guess the other odd thing about this is how quickly the change appears to have been adopted.

Silicon Valley is fully on board with the Trumpian "vibe shift."

> Czech Republic is now Czechia

The Czech Republic is still the Czech Republic; it is also now known as Czechia. "Czech Republic" is the full official name of the country, like "United States of America". "Czechia" is the official short or informal name for the country, like "United States".