Alexander, J. B. Edgar D. Mitchell, 1930–2016. JSE 2016, 30.