Gov. Ron DeSantis on Friday ordered flags to be lowered to half-staff to honor those ...