What is the population of Bahrain at present?