Condolences for the family of Charles Edgar (Ted) Hall