And after him [was] Eleazar son of Dodo, son of Ahohi, one of the three mighty men with David when they defied the Philistines [who] were gathered there for battle and the men of Israel had retreated.