Also longstanding practice: When official names vary between countries, Maps users see their official local name. Everyone in the rest of the world sees both names. That applies here too. — News ...