When Google announced it was complying with US President Donald Trump’s executive order to rename the Gulf of Mexico to the Gulf of America, many Mexicans responded with a laugh and a long, exhausted sigh.

Gulf of Mexico and Alaska’s Denali tallest peak in the country The following essay is reprinted with permission from The Conversation, an online publication covering the latest research. Minnesota recently changed the name of a large lake in Minneapolis to Bde Maka Ska,

The tech company said Monday it has a “longstanding practice of applying name changes when they have been updated in official government sources.”