Google Maps has a history of changing place names and world borders for different users in different locations, especially ...
It is the firm's "longstanding practice" to observe updates from official sources - in this case requested by Donald Trump.