Florida Gov. Ron DeSantis ordered flags to be flown at half-staff today in Tallahassee and Orange County in honor of Sen.