TSK · Numbers 31:17

and when Yahweh your God delivers it into your hand, you shall strike every male of it with the edge of the sword:

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