El Paso Times. (El Paso, Tex.), Vol. Seventh Year, No. 101, Ed. 1 Tuesday, May 3, 1887, newspaper, May 3, 1887; (https://texashistory.unt.edu/ark:/67531/metapth504247/m1/3/: accessed August 14, 2020), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu; .