Is the sum of the percentage of GDP claimed on the central government in Mauritius in 2007 and 2010 greater than the maximum percentage of GDP claimed on the central government in Korea (Republic) across all years ?