Were George Stevens and Lee Robinson of the same nationality?