Here's How All Online Maps Are Handling the 'Gulf of Mexico' Name ChangeTechnology companies are inconsistently implementing Trump's executive order to rename the Gulf of Mexico the "Gulf of America."