When you look at old globes from before America was a country they knew what the Gulf was called.