The Daughters of the Texas Revolution maintain an extensive and excellent geneaalogical library at the Alamo. They are relentless in pursuing the life, ancestry, and career of every Texan patriot who fought in the War of Independence. I would suggest that you contact them; I suspect that they can give you as deifnitive an answer as is currently available.