How was Korea involved in the cold war?