Tryggve Olafsson — Norwegian petty king