Texas. State Department of Highways and Public Transportation. The Gulf Intracoastal Waterway in Texas, 1990, report, 1990; (https://texashistory.unt.edu/ark:/67531/metapth307522/m1/1/: accessed May 13, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu; .