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." Since his first run for the White ...