Ramón Mercader — NKVD agent, murderer of Leon Trotsky