Condolences for the family of John “Jack” Porter