Bank of Korea hikes policy rate by 0.25% from 2.25% to 2.5%.