Question: What is the population of the city in Florida where Rio Vista is located?

full_context: Document 1: Rio Vista (Fort Lauderdale): The Rio Vista neighborhood is an affluent community of over 1,000 homes, situated next to downtown Fort Lauderdale, Florida. Its name means "River View" in Spanish. It is one of the oldest communities in Fort Lauderdale and features tree-lined streets, sidewalks and unique architecture.
Document 2: 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 3: Rio Vista, Texas: Rio Vista is a city in Johnson County, Texas, United States. The population was 873 at the 2010 census, up from 656 at the 2000 census. Rio Vista residents pronounce the name of the town either "RYE-o Vista", "REE-o Vista", or "REE-a-Vista"
Document 4: 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 5: 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 6: New Haven, Connecticut: The city has many distinct neighborhoods. In addition to Downtown, centered on the central business district and the Green, are the following neighborhoods: the west central neighborhoods of Dixwell and Dwight; the southern neighborhoods of The Hill, historic water-front City Point (or Oyster Point), and the harborside district of Long Wharf; the western neighborhoods of Edgewood, West River, Westville, Amity, and West Rock-Westhills; East Rock, Cedar Hill, Prospect Hill, and Newhallville in the northern side of town; the east central neighborhoods of Mill River and Wooster Square, an Italian-American neighborhood; Fair Haven, an immigrant community located between the Mill and Quinnipiac rivers; Quinnipiac Meadows and Fair Haven Heights across the Quinnipiac River; and facing the eastern side of the harbor, The Annex and East Shore (or Morris Cove).
Document 7: 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 8: 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 9: Mexico City: The boroughs are composed by hundreds of colonias or neighborhoods, which have no jurisdictional autonomy or representation. The Historic Center is the oldest part of the city (along with some other, formerly separate colonial towns such as Coyoacán and San Ángel), some of the buildings dating back to the 16th century. Other well-known central neighborhoods include Condesa, known for its Art Deco architecture and its restaurant scene; Colonia Roma, a beaux arts neighborhood and artistic and culinary hot-spot, the Zona Rosa, formerly the center of nightlife and restaurants, now reborn as the center of the LGBT and Korean-Mexican communities; and Tepito and La Lagunilla, known for their local working-class foklore and large flea markets. Santa María la Ribera and San Rafael are the latest neighborhoods of magnificent Porfiriato architecture seeing the first signs of gentrification.
Document 10: 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 11: Miami: The northern side of Miami includes Midtown, a district with a great mix of diversity with many West Indians, Hispanics, European Americans, bohemians, and artists. Edgewater, and Wynwood, are neighborhoods of Midtown and are made up mostly of high-rise residential towers and are home to the Adrienne Arsht Center for the Performing Arts. The wealthier residents usually live in the northeastern part, in Midtown, the Design District, and the Upper East Side, with many sought after 1920s homes and home of the MiMo Historic District, a style of architecture originated in Miami in the 1950s. The northern side of Miami also has notable African American and Caribbean immigrant communities such as Little Haiti, Overtown (home of the Lyric Theater), and Liberty City.
Document 12: Miami: Miami is partitioned into many different sections, roughly into North, South, West and Downtown. The heart of the city is Downtown Miami and is technically on the eastern side of the city. This area includes Brickell, Virginia Key, Watson Island, and PortMiami. Downtown is South Florida's central business district, and Florida's largest and most influential central business district. Downtown has the largest concentration of international banks in the U.S. along Brickell Avenue. Downtown is home to many major banks, courthouses, financial headquarters, cultural and tourist attractions, schools, parks and a large residential population. East of Downtown, across Biscayne Bay is South Beach. Just northwest of Downtown, is the Civic Center, which is Miami's center for hospitals, research institutes and biotechnology with hospitals such as Jackson Memorial Hospital, Miami VA Hospital, and the University of Miami's Leonard M. Miller School of Medicine.
Document 13: Rivo Alto Island: Rivo Alto Island is a neighborhood of in the city of Miami Beach on a man-made island in Biscayne Bay, Florida, United States. It is one of the Venetian Islands, a chain of artificial islands in Biscayne Bay in the cities of Miami and Miami Beach. It is between Di Lido Island and Belle Isle. It is home to residential neighborhoods and a portion of the Venetian Causeway.
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: 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.
ground_truth: 165,521
sub_queries: Rio Vista >> located in the administrative territorial entity Answer: Fort Lauderdale
what's the population of Fort Lauderdale florida Answer: 165,521