Pulse radiolysis of cyclohexane: The identity of the high-mobility positive ion