KOSPI's 22% July crash drives retail investors to flee Korean stocks