The value-added tax in Korea (World Bank, 1987)