Condolences for the family of John G. Ledley