Joshua 10:20 It happened, when Joshua and the children of Israel had made an end of killing them with a very great slaughter, until they were consumed, and the remnant which remained of them had entered into the fortified cities, (World English Bible)