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