韩国综合股价指数(KOSPI)触及纪录高位。