The Galveston Daily News. (Galveston, Tex.), Vol. 42, No. 131, Ed. 1 Tuesday, July 31, 1883, newspaper, July 31, 1883; (https://texashistory.unt.edu/ark:/67531/metapth464283/m1/1/: accessed July 10, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu.; .