Battles involving the Texas Ranger Division.