And so the king commanded Benaiah, the son of Jehoiada. And going out, he struck him down, and he died.