Harald V of Norway (1937-)/descendants