Condolences for the family of David E. Welch