TSK · Numbers 31:7

The children of Israel did that which was evil in the sight of Yahweh: and Yahweh delivered them into the hand of Midian seven years.

This is the thing that you shall do: you shall utterly destroy every male, and every woman who has lain with a man."

For it happened, when David was in Edom, and Joab the captain of the army was gone up to bury the slain, and had struck every male in Edom