Rock, Robert, 1918-