Florida Gov. Ron DeSantis ordered flags to be flown at half staff at all local and state buildings, installations and grounds in Walton County to honor May. When should flags be flown at half ...