Condolences for the family of David W. Armstrong