Korean stock market crash and semiconductor contagion