Numbers 31:17

and when Yahweh your God gives them over before you and you strike them down, then you shall devote them to destruction. You shall cut no covenant with them and show no favor to them.

And the congregation sent 12,000 of the men of valor there and commanded them, saying, “Go and strike the inhabitants of Jabesh-gilead with the edge of the sword, with the women and the little ones.

“Now this is the thing that you shall do: you shall devote to destruction every man and every woman who has known, that is lain with, a man.”