Laughlin, John S. (John Seth), 1918-2004