Google Maps to rename 'Gulf of Mexico' to 'Gulf of America' for US users
The change will be visible in the US, but the name will remain Gulf of Mexico in Mexico. Read more at straitstimes.com.