Is it the case that in every year, the sum of the total revenue collected by the government in Cabo Verde and total revenue collected by the government in Bosnia and Herzegovina is greater than the total revenue collected by the government in Hong Kong ?