Bank of Korea left its base rate at 1.25% (25 bp cut was the expected)