Korea market pulse

KOSPI-linked instruments, KRW, and major Korean technology and industrial names.