Condolences for the family of Gary D. Mills