https://www.pbs-web.org/bible/RVC/JDG.17