Question: What is the population of the Florida county in which East Lake is located?
Answer: 916,542