Email Record: Economic development, population policy, and demographic transition in the Republic of Korea