Condolences for the family of Robert Eugene Allen