The Galveston Daily News. (Galveston, Tex.), Vol. 39, No. 45, Ed. 1 Friday, May 14, 1880, newspaper, May 14, 1880; (https://texashistory.unt.edu/ark:/67531/metapth461755/m1/1/: accessed April 30, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu; .