Condolences for the family of Vaughn W. Willey