Mexican users will continue to see the ‘Gulf of Mexico’