Biden on ISIS leader’s death: ‘This horrible terrorist leader is no more