"Battle involving Tlaxcala" . . . .