Guess we can expect reports of Korea buying EUR/USD fairly soon, diversifying those dollars into euros.