Question: What is the nickname of the Cuban professional boxer that Dave Allen fought in 2016?
Sentence (from "Dave Allen (boxer)"): David Allen (born 21 March 1992) is British professional boxer.
Relevant evidence: No