Craighead, John J. (John Johnson), 1916-