The Korean economy