Texas National Register. (Washington, Tex.), Vol. 1, No. 32, Ed. 1, Thursday, July 17, 1845, newspaper, July 17, 1845; (https://texashistory.unt.edu/ark:/67531/metapth80126/m1/1/: accessed July 18, 2024), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu.; .