Condolences for the family of John E. Mohr