Halfdan the Mild — semi-legendary Norwegian petty king