El Paso Times. (El Paso, Tex.), Vol. NINTH YEAR, No. 115, Ed. 1 Friday, May 17, 1889, newspaper, May 17, 1889; (https://texashistory.unt.edu/ark:/67531/metapth502245/m1/1/: accessed July 9, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu; .