Florida Home Sales Gain 17 Percent in October