Condolences for the family of John E. King