Joshua
Joshua 10:18ESV·traditional attribution

And Joshua said, “Roll large stones against the mouth of the cave and set men by it to guard them,

John Calvin Reformed @genevareformer

18. And Joshua said, Roll, etc The enemy having been completely routed, Joshua is now free, and, as it were, at leisure, to inflict punishment on the kings. In considering this, the divine command must always be kept in view. But for this it would argue boundless arrogance and barbarous atrocity to trample on the necks of kings, and hang up their dead bodies on gibbets.

Matthew Henry Presbyterian @wholebiblehenry

It was a brave appearance, no doubt, which the five kings made when they took the field for the reducing of Gibeon, and a brave army they had following them; but they were all routed, put into disorder first, and then brought to destruction by the hail-stones. And now Joshua thought, his work being done, he might go with his army into quarters of refreshment.

Commenting on Joshua 10:15-27

John Gill Reformed Baptist @doctorgill

And stay you not, but pursue after your enemies,.... That is, do not stay at this cave, but having placed a sufficient guard there, go in pursuit of the enemy, with as much celerity as possible: and smite the hindmost of them; their rear; or "tail" them (o), as the word is, cut off the tail of them: suffer them not to enter their cities...