KOSPI margin cascade wipes $1.3 trillion from global semiconductor stocks