Question: What's the population of the city in Florida that contains International Swimming Hall of Fame?

full_context: Document 1: Miami: Miami (/maɪˈæmi/; Spanish pronunciation: [maiˈami]) is a city located on the Atlantic coast in southeastern Florida and the seat of Miami-Dade County. The 44th-most populated city proper in the United States, with a population of 430,332, it is the principal, central, and most populous city of the Miami metropolitan area, and the second most populous metropolis in the Southeastern United States after Washington, D.C. According to the U.S. Census Bureau, Miami's metro area is the eighth-most populous and fourth-largest urban area in the United States, with a population of around 5.5 million.
Document 2: Port St. Lucie, Florida: Port St. Lucie is a city in St. Lucie County, Florida, United States. It is the most populous municipality in the county with a population of 164,603 at the 2010 census due to its rapid growth during the 2000s. In 2013, the state of Florida estimated the city's population at 171,016. Port St. Lucie forms part of a metropolitan area called the Port St. Lucie, Florida Metropolitan Statistical Area that in 2013 was estimated to have 438,095 residents. As of 2015, the city had 179,413 residents, surpassing Fort Lauderdale in population.
Document 3: Miramar, Florida: Miramar is a city in Broward County, Florida, United States. As of the 2010 census, the population was 122,041. It is a principal city of the Miami metropolitan area, which is home to over 6 million people.
Document 4: Boston: Because of the city's prominent role in the American Revolution, several historic sites relating to that period are preserved as part of the Boston National Historical Park. Many are found along the Freedom Trail, which is marked by a red line of bricks embedded in the ground. The city is also home to several art museums, including the Museum of Fine Arts and the Isabella Stewart Gardner Museum. The Institute of Contemporary Art is housed in a contemporary building designed by Diller Scofidio + Renfro in the Seaport District. The University of Massachusetts Boston campus on Columbia Point houses the John F. Kennedy Library. The Boston Athenaeum (one of the oldest independent libraries in the United States), Boston Children's Museum, Bull & Finch Pub (whose building is known from the television show Cheers), Museum of Science, and the New England Aquarium are within the city.
Document 5: Daytona Beach, Florida: Daytona Beach is a city in Volusia County, Florida, United States. It lies about northeast of Orlando, southeast of Jacksonville, and northwest of Miami. In the 2010 U.S. Census, it had a population of 61,005. It is a principal city of the Deltona–Daytona Beach–Ormond Beach metropolitan area, which was home to 600,756 people as of 2013. Daytona Beach is also a principal city of the Fun Coast region of Florida.
Document 6: Fort Lauderdale, Florida: Fort Lauderdale (/ ˌfɔːrt ˈlɔːdərdeɪl /; frequently abbreviated as Ft. Lauderdale) is a city in the U.S. state of Florida, 28 miles (45 km) north of Miami. It is the county seat of Broward County. As of the 2010 census, the city had a population of 165,521 in 2010.
Document 7: Port St. Lucie, Florida: Port St. Lucie is a city in St. Lucie County, Florida, United States. It is the most populous municipality in the county with a population of 164,603 at the 2010 census due to its rapid growth during the 2000s. It is located 125 miles southeast of Orlando, and 114 miles northwest of Miami.In 2017, the United States Census Bureau estimated the city's population at 189,344. The Port St. Lucie Metropolitan Area includes the counties of St. Lucie County & Martin County and as of 2016 had an estimated population of 465,208. Overall Port St. Lucie is the largest City of the Treasure Coast as of 2017 estimates.
Document 8: Art Institute of Chicago: The Art Institute of Chicago, founded in 1879 and located in Chicago's Grant Park, is one of the oldest and largest art museums in the United States. Recognized for its curatorial efforts and popularity among visitors, the museum hosts approximately 1.5 million guests annually. Its collection, stewarded by 11 curatorial departments, is encyclopedic, and includes iconic works such as Georges Seurat's A Sunday on La Grande Jatte, Pablo Picasso's The Old Guitarist, Edward Hopper's Nighthawks, and Grant Wood's American Gothic. Its permanent collection of nearly 300,000 works of art is augmented by more than 30 special exhibitions mounted yearly that illuminate aspects of the collection and present cutting - edge curatorial and scientific research.
Document 9: National Toy Hall of Fame: The National Toy Hall of Fame is an American hall of fame that recognizes the contributions of toys and games that have sustained their popularity for many years. Criteria for induction include: icon status (the toy is widely recognized, respected, and remembered); longevity (more than a passing fad); discovery (fosters learning, creativity, or discovery); and innovation (profoundly changed play or toy design). Established in 1998 under the direction of Ed Sobey, it was originally housed at A.C. Gilbert's Discovery Village in Salem, Oregon, United States, but was moved to the Strong National Museum of Play (now The Strong) in Rochester, New York, in 2002 after it outgrew its original home.
Document 10: Detroit: Many of the area's prominent museums are located in the historic cultural center neighborhood around Wayne State University and the College for Creative Studies. These museums include the Detroit Institute of Arts, the Detroit Historical Museum, Charles H. Wright Museum of African American History, the Detroit Science Center, as well as the main branch of the Detroit Public Library. Other cultural highlights include Motown Historical Museum, the Ford Piquette Avenue Plant museum (birthplace of the Ford Model T and the world's oldest car factory building open to the public), the Pewabic Pottery studio and school, the Tuskegee Airmen Museum, Fort Wayne, the Dossin Great Lakes Museum, the Museum of Contemporary Art Detroit (MOCAD), the Contemporary Art Institute of Detroit (CAID), and the Belle Isle Conservatory.
Document 11: Israel: The Israel Museum in Jerusalem is one of Israel's most important cultural institutions and houses the Dead Sea scrolls, along with an extensive collection of Judaica and European art. Israel's national Holocaust museum, Yad Vashem, is the world central archive of Holocaust-related information. Beth Hatefutsoth (the Diaspora Museum), on the campus of Tel Aviv University, is an interactive museum devoted to the history of Jewish communities around the world. Apart from the major museums in large cities, there are high-quality artspaces in many towns and kibbutzim. Mishkan Le'Omanut on Kibbutz Ein Harod Meuhad is the largest art museum in the north of the country.
Document 12: Swimming Reindeer: The Swimming Reindeer is the name given to a 13,000-year-old Magdalenian sculpture of two swimming reindeer conserved in the British Museum. The sculpture was made in what is now modern-day France by an unknown artist who carved the artwork from the tip of a mammoth tusk. The sculpture was found in two pieces in 1866, but it was not until the early 20th century that Abbé Henri Breuil realised that the two pieces fit together to form a single sculpture of two reindeer swimming nose-to-tail.
Document 13: Florida: Florida i/ˈflɒrɪdə/ (Spanish for "flowery land") is a state located in the southeastern region of the United States. The state is bordered to the west by the Gulf of Mexico, to the north by Alabama and Georgia, to the east by the Atlantic Ocean, and to the south by the Straits of Florida and the sovereign state of Cuba. Florida is the 22nd most extensive, the 3rd most populous, and the 8th most densely populated of the United States. Jacksonville is the most populous city in Florida, and the largest city by area in the contiguous United States. The Miami metropolitan area is the eighth-largest metropolitan area in the United States. Tallahassee is the state capital.
Document 14: Miami: The city proper is home to less than one-thirteenth of the population of South Florida. Miami is the 42nd-most populous city in the United States. The Miami metropolitan area, which includes Miami-Dade, Broward and Palm Beach counties, had a combined population of more than 5.5 million people, ranked seventh largest in the United States, and is the largest metropolitan area in the Southeastern United States. As of 2008[update], the United Nations estimates that the Miami Urban Agglomeration is the 44th-largest in the world.
Document 15: International Swimming Hall of Fame: The International Swimming Hall of Fame and Museum (ISHOF) is a history museum and hall of fame, located at One Hall of Fame Drive, Fort Lauderdale, Florida, United States, operated by private interests and serving as the central point for the study of the history of swimming in the United States and around the world. Exhibits include ancient art and both reproductions and original art depicting famous moments in swimming history (from ancient times to modern), swimwear, and civil rights, as well as memorabilia and artifacts belonging to persons who have promoted or excelled in aquatics. It is recognized by FINA ("Fédération Internationale de Natation") as the official hall for the aquatics sports.
ground_truth: 165,521
sub_queries: International Swimming Hall of Fame >> located in the administrative territorial entity Answer: Fort Lauderdale
what's the population of Fort Lauderdale florida Answer: 165,521