"These [things] did Benaiah the son of Jehoiada, and had the name among the three mighties."