I don't think it's renaming the Gulf of Mexico, as others have pointed out here, and I agree that it's simply naming a region of Texas--and regions are generally capitalized, at least in American English! 'The Texas coast of the Gulf of Mexico' would have simply been to dadburned wordy!