The Dallas Daily Herald. (Dallas, Tex.), Vol. 27, No. 204, Ed. 1 Thursday, July 15, 1880, newspaper, July 15, 1880; (https://texashistory.unt.edu/ark:/67531/metapth281480/m1/1/: accessed May 6, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu; .