When this was reported to King Solomon, he sent Benaiah son of Jehoiada to execute him.