Category:Army of the Republic of Texas personnel killed in the Texas Revolution