What terrible news. My condolences to John’s family.