Flags should be flown at half-staff on Thursday