Florida's governor Ron DeSantis said flags will be flown at half-staff at all official buildings on Friday, which he declared ...