Original: Port St. Lucie is a city in St. Lucie County, Florida, United States.
Simplified: Port St. Lucie is a city of Florida in the United States.