Condolences for the family of Dora L. Devers