If you're going to rename the Gulf, it really should be the Gulf of Florida or the Gulf of Texas. ALL of the barge traffic that moves millions of goods and produces along the Gulf Waterways is controlled by those two States.