Harald V, King of Norway (1937–2026)