Harald III ‘Hard ruler’ Sigurdsson, King of Norway