韩国7月 #标普 全球韩国制造业PMI 51.4，前值 52。