And 18,000 Benjamites fell, all valiant warriors.