“Now Judas had pitched his tents at Eleasa, and three thousand chosen men with him:”