Condolences for the family of David G. Thomas