Jeremiah 41:16 DBY

16 Then Johanan the son of Kareah, and all the captains of the forces that were with him, took all the remnant of the people whom he had recovered from Ishmael the son of Nethaniah, from Mizpah, after he had slain Gedaliah the son of Ahikam, the mighty men of war, and the women, and the children, and the eunuchs, whom he had brought again from Gibeon;