They just do whatever your local country calls it. The name changes based on where you are.

But "whatever your local country calls it" isn't always clear! There are plenty of places where the official name differs from the commonly-used name.

For example, in The Netherlands the official name for The Hague is 's-Gravenhage - but in practice virtually everyone calls it Den Haag, including the government itself. But it won't be on any official document like a passport. Similarly 's-Hertogenbosch is also very often abbreviated to Den Bosch, and calling it by its full name in casual conversation would sound quite pompous.

So what to do? Use the official name everywhere? Use the name people use in practice everywhere? Google Maps went with the colloquial name for Den Haag and the official name for 's-Hertogenbosch, so clearly there is no one-size-fits-all policy being applied.

The same applies to the current renaming. Sure, Trump and a handful of diehard cultists will call it "Lake America", but the US population as a whole is undoubtedly going to stick with the Lake Ontario they know and love for the foreseeable future.

So does Google Maps follow what the country calls it, or what the president calls it?