The Civilian and Galveston Gazette. (Galveston, Tex.), Vol. 13, Ed. 1 Tuesday, July 15, 1851, newspaper, July 15, 1851; (https://texashistory.unt.edu/ark:/67531/metapth177336/m1/1/: accessed May 7, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu; .