Hákon Hákonarson, King of Norway