Google Maps renames Gulf of Mexico in the US, rest of the world gets tweaked name too
Google Maps renamed Gulf of Mexico to Gulf of America in the US on February 10, following President Trump's announcement.