Korean stocks jumped by a record margin as the trading day began in Asia.