Rio Grande Herald (Rio Grande City, Tex.), Vol. 35, No. 45, Ed. 1 Thursday, July 24, 1980, newspaper, July 24, 1980; (https://texashistory.unt.edu/ark:/67531/metapth194777/m1/1/: accessed May 2, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu; .