and he took it, and the king of it, and all the cities of it; and they struck them with the edge of the sword, and utterly destroyed all the souls who were therein; he left none remaining: as he had done to Hebron, so he did to Debir, and to the king of it; as he had done also to Libnah, and to the king of it.
So Joshua returned, and all Israel with him, to the camp of Gilgal. But the five kings hid themselves in a cave. And so they came and told Joshua these five kings were hiding in the caves. So Joshua said, Throw a bunch of stones over the cave, seal it up, and stand outside and guard the thing ( Joshua 10:15-18 ).