“South Korea banned short selling in November 2023.”