Nu har techjättarna börjat ändra i världskartorna efter Donald Trumps presidentorder om att byta namn på Mexikanska golfen.