In a post on X, Google said it will follow the government’s lead by changing the name of the Gulf of Mexico to "Gulf of ...