"But the servants of David had smitten of Benjamin, and of Abner’s men, [so that] three hundred and threescore men died."