South Korea’s benchmark stock index jumps up to 1.7% to reach a record high of 5,171.85