Olof Trätälja — semi-legendary Norwegian petty king