Condolences for the family of David C. Ehret