Is it the case that in every year, the sum of the employment to population ratio in Mauritius and employment to population ratio in Costa Rica is greater than the employment to population ratio in Korea (Democratic) ?