Who was the leader of North Korea during the war?