The Trump administration declared on Friday that the Gulf of Mexico had been renamed the Gulf of America, but popular mapping services from Google and Apple have continued showing the old name. On Monday, Google said