Condolences for the family of Grover C. (Bud) Wall Jr.