Mexico has filed a formal complaint against Google after the U.S. tech giant responded to a request by Donald Trump by renaming the “Gulf of Mexico” as the “Gulf of America” for American users.