Golfo del Messico diventa Golfo d’America per gli utenti statunitensi: ecco cosa c’è da sapere