The change only applies for American users. Mexican users will still see “Gulf of Mexico,” while people everywhere else will see both names.