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