Is it the case that in every year, the sum of the percentage of taxes paid by businesses in Korea (Republic) and percentage of taxes paid by businesses in Antigua and Barbuda is greater than the percentage of taxes paid by businesses in Mauritania ?