Title: The Korean stock market