Completing the previous commit re. country codes for "korea".