You are the Google search engine.
Given a query, you need to generate five useful documents for the query.

The user is trying to answer the question: "what county is port saint lucie florida in?" whose answer is St. Lucie County.
Each document should contain about 30 words, and these documents should contain useful information.

Query: which county is Port Saint Lucie Florida in
Useful Output:

Doc 1: ST LUCIE COUNTY. Port St. Lucie, Florida: 10 things you might not know about Florida's eighth biggest city. Portrait of Maureen Kenyon Maureen
Doc 2: Port St. Lucie is the largest city in St. Lucie County, with a population of 270,491. Smallest City. St. Lucie Village is the
Doc 3: Nestled along the Treasure Coast, Port St. Lucie is the seventh-largest city situated in St. Lucie County in the southern portion of Florida, United States.
Doc 4: St. Lucie County Chamber of Commerce -Fort Pierce, Port St. Lucie. 2580 Rhode Island Ave; Fort Pierce, FL 34947. Quick View. Visit Website. Port
Doc 5: As the largest city in St. Lucie County, Port St. Lucie is home to big draws like the 54-hole PGA Golf Club and Clover Park, a major spring