Judg 21:11

וְזֶ֥ה הַדָּבָ֖ר אֲשֶׁ֣ר תַּעֲשׂ֑וּ כָּל־זָכָ֗ר וְכָל־אִשָּׁ֛ה יֹדַ֥עַת מִשְׁכַּב־זָכָ֖ר תַּחֲרִֽימוּ׃

This is what you are to do: Devote to destruction every male, as well as every female who has had relations with a man.”