TSK · Numbers 31:7

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

And this is the thing that ye shall do: ye shall utterly destroy every male, and every woman that hath lain by man.

For it came to pass, when David was in Edom, and Joab the captain of the host was gone up to bury the slain, and had smitten every male in Edom