El Paso International Daily Times (El Paso, Tex.), Vol. 20, No. 120, Ed. 1 Thursday, May 17, 1900, newspaper, May 17, 1900; (https://texashistory.unt.edu/ark:/67531/metapth582239/m1/1/: accessed July 18, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu; .