The October Revolution and the tactics of the Russian communists