Florida beach vacations flourish after last year’s dangerous red tideÂ