Tony Walton English, 1934-2022