Judges 20:35 ERV

[35] The LORD used the army of Israel and defeated the army of Benjamin. On that day the army of Israel killed 25,100 soldiers from Benjamin. All of them had been trained for war.