Is it the case that in every year, the sum of the ratings of the quality of port infrastructure in Namibia and ratings of the quality of port infrastructure in Mexico is greater than the ratings of the quality of port infrastructure in Timor-Leste ?