John Tye died in 2021.