Trump puede cambiar el nombre para propósitos oficiales de Estados Unidos, pero no puede dictar cómo se refiere el resto del mundo al cuerpo de agua.