Ingjald Olofsson — Norwegian petty king