John Gill, on Josh 10:16

“For the five kings were fled, and had hidden themselves in a cave of the city of Maceda.”

“And it was told Joshua,.... Either by some of his own people, or by some of the inhabitants of the land in his interest, who had observed it: saying, the five kings are found hid in a cave at Makkedah: this seems to make it appear that they were others, and not Joshua's soldiers, that found them; for had they, no doubt they would have seized them, and brought them before him, or slain them, unless they chose first to know his will concerning them, next expressed.”

Imported from an open dataset — not yet checked against the printed edition.