South Korea's stock market plunges as AI-driven boom fades