It's the official GNIS name now, and is usually just piped into the maps. There aren't people actually deciding which names to use at Google, HERE, whatever, etc ... we just push sources in.

They’re doing it because they want to. Because they know it will make Trump happy.

sure, ok ... guess you know more than my 20+ years experience at a digital map company that actually taught google how to make their maps.