Más allá de su dimensión propagandística, ¿cuáles consecuencias jurídicas tiene, y cuáles no, el cambio de nombre de una porción del Golfo de México?