Condolences for the family of Robert E. "Bob" Hayes