How is the korean war apart of the cold war?