Category:Battles involving the Republic of Texas