Walton, Michael, 1932-