Earlier quoted context omitted.
Yes. We had the same comments about Gulf of America. Edit: I don't know that there's an actual database served up by the US Gov, but governments control the naming of these things within their own jurisdictions. All of the big mapping products have the ability to serve up different names based on where you're viewing from. And Apple just renamed: https://apnews.com/article/apple-lake-ontario-america-google...
> governments control the naming of these things within their own jurisdictions No they don't. People can, and should, call things what they want without deference to government overreach.
For once I'm posting about this in a forum where I can reasonably expect that most users will understand the technical difficulties that would arise if Google wanted to avoid using the new names.
The average person seems to believe that Google can change the toponyms back to Gulf of Mexico and Lake Ontario as easily as taking down a road sign and nailing up a different one.