Question: The county in which the Old Florida Museum is located had what population in the census of 2010?
Sentence (from "West Palm Beach, Florida"): The estimated population of the Miami metropolitan area, which includes all of Palm Beach County, was 6,012,331 people at the 2015 census.
Relevant evidence: No