US DATA: Dec ISM mfg index revised to 58.5 vs 57.0 prior. More on the
MNI Main wire.