What is the population of Côte d’Ivoire (Ivory Coast)?