The Texas Gulf Coast would presumably be that stretch of coastline, and it's a long one, that defines the outer edge of Texas. As a scientist, Mr. Miles would surely be as specific as possible.
http://www.texasescapes.com/Maps/TexasMaps.htm