Robinson, J. Lewis (John Lewis), 1918-