Prince Carl of Denmark becomes King Haakon VII of Norway.