Condolences for the family of John A. Ruhl