This is absolutely right. I work in the biz (not google) and we don’t decide what things are named. We just ingest sources. Very rarely do we make manual edits such as this. It’s not like we have a department sitting around deciding what all the bajillion things in a map are named. If the US decides that something is named something, that’s what we ingest.

This is the exact nonsense that gets people all worked up and fighting and wasting their energy, while we have oligarchs planning our demise.