The Fourth International under Trotsky