Den norske konungen Olof , son afHarald