Korean Retail Investors Inject Record 7T KRW Into KOSPI