Alison, John R. (John Richardson), 1912-2011