I saw this at the Texas State History Museum yesterday. A map from 1713 showing the Gulf of Mexico (courtesy the Boston Public Library)