Joshua 10:19 ASV

¹⁷  And it was told Joshua, saying, The five kings are found, hidden in the cave at Makkedah.

¹⁸  And Joshua said, Roll great stones unto the mouth of the cave, and set men by it to keep them:

¹⁹  but stay not ye; pursue after your enemies, and smite the hindmost of them; suffer them not to enter into their cities: for Jehovah your God hath delivered them into your hand.

²⁰  And it came to pass, when Joshua and the children of Israel had made an end of slaying them with a very great slaughter, till they were consumed, and the remnant which remained of them had entered into the fortified cities,

²¹  that all the people returned to the camp to Joshua at Makkedah in peace: none moved his tongue against any of the children of Israel.