Google has standard policies about which name to display on maps which they are simply following in this case. If a country changes a name, and that name gets updated in the official geographic DB (as “Gulf of America” now has), then Google changes the name for viewers within that country.