Randal Johnson: 1938–2010