Eirik of Hordaland — Norwegian petty king