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