Question: In 2016, Dave Allen took on a Cuban boxer with what nickname?
Sentence (from "Dave Allen (boxer)"): David Allen (born 21 March 1992) is British professional boxer.
Relevant evidence: No