Question: What is the nickname of the Cuban professional boxer that Dave Allen fought in 2016?
Sentence (from "Luis Ortiz (Cuban boxer)"): As an amateur, Ortiz won a silver medal at the 2005 Boxing World Cup.
Relevant evidence: No