Question: Pasco County, incorporating Jasmine Estates and the county seat Dade City, is in which U.S. state?

Context articles: Green Swamp Wilderness Preserve
Florida State Road 52
Dade City, Florida
Withlacoochee River Park
Villages of Pasadena Hills
Jasmine Estates, Florida
St. Joseph, Pasco County, Florida
Hugh Embry Library
Pasco County, Florida
Pasco County Courthouse

Green Swamp Wilderness Preserve is a 110,000 acre preserve in the four-corner area of Lake County, Pasco County, Polk County and Sumter County, east of Dade City, Florida.
 It includes a 36-mile section of the Withlacoochee River and offers hiking trails.
 It is managed by the Southwest Florida Water Management District.
 It includes various habitats and is home to a wide array of wildlife.
 The preserve is divided into five areas: 5,067 acre Colt Creek State Park, the 51,149 acre East Tract; the 11,052 acre Hampton Tract; the 4,446 acre Little Withlacoochee Tract; and the 37,350 acre West Tract.
State Road 52 (SR 52) is the major east–west road through northern Pasco County, Florida.
 The road begins in Bayonet Point at US 19 (SR 55), passes through San Antonio, runs past Saint Leo University, in Saint Leo, and terminates in Dade City at US 98 / US 301 (SR 533).
Dade City is a city in Pasco County, Florida, United States.
 It is popular with tourists for its antique stores, restaurants and historic architecture including the Pasco County Courthouse, Hugh Embry Library, and Edwinola.
 The annual Kumquat Festival is hosted downtown and the surrounding area is a large producer of the tart kumquat, a citrus fruit eaten whole.
Withlacoochee River Park is located in Pasco County, in the U.S. state of Florida.
 The property is 260 acre and is located at 12449 Withlacoochee Boulevard in Dade City.
 It includes a canoe launch, dock, 1.5 mi of hiking trails, as well a bicycling, bird watching, picnic facilities, camping, fishing, an observation tower, and a reconstructed 19th Century fort.
 Habitats in the area include high sandhills and low riverine swamp.
Villages of Pasadena Hills is a 22,000 acre development including 42,000 homes and 500,000 square feet of office space on land between Dade City, Florida and Zephyrhills.
 A collaboration of more than a dozen large property owners, the development strategy calls for 13 communities and an $100 million interchange with Interstate 75 that is part of a $461 million capital plan.
 The development would be much larger than Pasco County's Wiregrass Ranch development located nearby on 5,000 acres.
 It would include roads as well as land for parks and schools.
Jasmine Estates is a census-designated place (CDP) in Pasco County, Florida, United States.
 The population was 18,989 at the 2010 census.
Saint Joseph, commonly referred to as St. Joe, is an unincorporated community in Pasco County, Florida, United States.
 It was founded as a German Catholic community.
 It is located in the Northeastern part of Pasco County in Central Florida a few miles north of San Antonio and Saint Leo University.
 Nearby Dade City hosts the annual Kumquat Festival in celebration of the kumquat fruit.
 Saint Joseph is known as the Kumquat Capital of the World for its produce.
 The community is also home to Sacred Heart Catholic Church.
Hugh Embry Library was established in 1904 when its namesake Hugh Embry (1879–1907), then 25, was recovering from an illness.
 It is located on 4th Street in Dade City, Florida.
 It was developed with donations from local households leading and built into a small library in the Embry home (now the site of the U.S. Post Office on Church St. A larger library and the development of the Pasco County Library Association followed in 1905.
 After Embry's death at the age of 28 due to tuberculosis, the library initially faltered, but was kept alive due to the efforts of active community members and civic organizations such as the Dade City Woman's Club.
 The library was relocated several times over the next five decades, finally ending up at the current location in 1963.
 The library underwent a complete renovation in the late 1980s, with the current 7,200-square-foot (670 m2) building opening in 1991.
Pasco County is a county located in the U.S. state of Florida.
 As of the 2010 census, the population was 464,697.
 Its county seat is Dade City, and its largest city is New Port Richey.
 The county is named for Samuel Pasco.
The Pasco County Courthouse (constructed in 1909) is a historic site in Dade City, Florida, located at 37918 Meridian Avenue.
 It was designed by noted architect Edward Columbus Hosford in the Classical Revival style.
 On September 20, 2006, it was added to the U.S. National Register of Historic Places.