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