Google Maps renamed Gulf of Mexico to Gulf of America in the US on February 10, following President Trump's announcement.