Army of the Republic of Texas officers killed in the Texas Revolution