Condolences for the family of James A. “Jim” Gray