Port St. Lucie is part of Florida