What does it mean when some name is the “official" name of some place? Is everybody required to use that name? No. In most countries it just means the public administration is legally required to use it. Everybody else is free to call the place anything they want. Unofficial names aren’t illegal. Google did not have to relabel Lake Ontario for US users, they decided to do that voluntarily: yet another example of anticipatory obedience from the once-free US of A. https://en.wikipedia.org/wiki/Anticipatory_obedience