Question: What is the nickname of the Cuban professional boxer that Dave Allen fought in 2016?
Sentence (from "Dave Allen (boxer)"): On May 27, 2017, Allen took on Jamaica's Lenroy Thomas for the Commonwealth title.
Relevant evidence: No