The Story of Ramón Mercader, Trotsky's Assassin