Condolences for the family of Carol Ann Devers