Parallel
Numbers 31:17
Clementine Vulgate · Berean Standard Bible
ergo cunctos interficite quidquid est generis masculini, etiam in parvulis : et mulieres, quæ noverunt viros in coitu, jugulate :
So now, kill all the boys, as well as every woman who has had relations with a man,