Who became the King of Norway on 17 February 1937?
king harald v