Is West Palm Beach headed to Martin County?