execution of Ish-bosheth’s murderers