KOSPI market cap