Florida's lawsuit against CDC over cruise lines sent to mediation