📊 How many foreigners live in Korea?