Since I'm willing to put my family on a petri dish (cruise ship) I'll probably not be overly concerned about what Florida is doing about disease prevention.
Questionable if we would have taken our formerly infant children to Disney if disease became a greater risk (from whatever cause - see I did not break the rules). Rather we probably would have waited until they were a bit older unless there was a health advisory against it in that hypothetical world.