the chief of defense who left office on 15 july 1945 was the child of what king ?
haakon vii of norway