Virginia Flags Half Staff: On Friday, November 1, flags across Virginia will be flown at half-staff as a tribute to…