Bank of Korea holds rates for 4th month in October, as expected