I want to know the answer to the following question:
What was Guerrilla fighter José Castro Veiga's nickname?
All the background I'm provided with is that "Among the attempts at resistance were small leftist guerrilla groups such as those led by José Castro Veiga ("El Piloto") and Benigno Andrade ("Foucellas"), both of whom were ultimately captured and executed.". Is that enough to answer the question?
Answer: yes