I expect that if you’re in Mexico using Google Maps it will still show “Gulf of Mexico.”

Political boundaries vary in different countries and google maps shows the border differently between India and China depending on where you are using the app.

It’s just a variable name. Different countries call the same thing by different names.