What is the population of Republic of the Congo?