At some juncture would expect the Koreans to turn a portion of those dollars into euros.
EUR/USD sits at 1.2925, hardly changed from North American close Friday around 1.2915.
Buy orders noted down at 1.2850/70, sell orders at 1.2950 and more up around 1.3000. Talk of some stops through 1.2970.
No major euro zone economic data releases today.
EDIT: Size of Korean intervention said to have been not overly large.
