Jan Slavík (1885—1978): Czech historian of the Russian Revolution