Executor's Sale, text, May 31, 1842; (https://texashistory.unt.edu/ark:/67531/metapth32836/m1/1/: accessed October 18, 2017), University of North Texas Libraries, The Portal to Texas History, texashistory.unt.edu; .