HI's what punishment for terrorists of oct7 should be_