Red tide was among 5 worst in Florida's history