The Galveston Daily News. (Galveston, Tex.), Vol. 39, No. 102, Ed. 1 Tuesday, July 20, 1880, newspaper, July 20, 1880; (https://texashistory.unt.edu/ark:/67531/metapth464565/m1/1/: accessed July 12, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu.; .