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