The Henderson Times. (Henderson, Tex.), Vol. 41, No. 42, Ed. 1 Thursday, October 25, 1900, newspaper, October 25, 1900; (https://texashistory.unt.edu/ark:/67531/metapth235367/m1/1/: accessed April 25, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu; .