"These things did Benaiah the son of Jehoiada, and had a name among the three mighty men."