John Kevin Kelly (1916-2005)