The change will be visible in the U.S., but the name will remain Gulf of Mexico in Mexico. Outside of the two countries, users will see both names on Google Maps.
A recent study has learnt that all 11 species of ticks found to have bitten humans in the island-state between 2002 and 2023 are capable of carrying one or more harmful microbes.