Home Stock Kospi Index: Is the South Korean stock market bull run ending?