“ A la hora de la puesta del sol, a una orden de Josué, los descolgaron de los árboles y los arrojaron a la cueva en que se habían escondido. Después taparon la boca de la cueva con unas piedras enormes, que todavía hoy pueden verse. ”