Condolences for the family of David Harold Mulligan