port st. lucie is part of florida