Task: Question Generation
Input (English): Context_1 : Angel Robinson Garcia (May 9, 1937 – June 1, 2000) was a Cuban professional boxer, who was the Latin American Super-Featherweight champion. He also fought for the Cuban national Lightweight title, but lost. Context_2 : Luis Ortiz (born March 29, 1979) is a Cuban professional boxer. He held the WBA interim heavyweight title from 2015 to 2016; he originally won it 2014, but this first reign was nullified via no contest when he was stripped of the title due to failing a drug test. As an amateur, Ortiz won a silver medal at the 2005 Boxing World Cup. Nicknamed "The Real King Kong", he is known for his size, punching power and counterpunching skills. Context_3 : Alexei Fernando Ramírez Rodriguez (born September 22, 1981) is a Cuban professional baseball shortstop who is a free agent. He has played for the Chicago White Sox, San Diego Padres and Tampa Bay Rays in MLB and Pinar del Rio of the Cuban National Series. His nickname, given to him by former White Sox manager Ozzie Guillén, is "The Cuban Missile" due to his tall, slim physique and combination of speed, power, and strong throwing arm. Context_4 : David Allen Stich, a.k.a. Rockin’ Dave Allen, a.k.a. Dave Allen, (September 27, 1941 – April 28, 1985) was an American blues guitarist, singer and songwriter. Allen performed live throughout Texas and the Gulf Coast area from the late 1950s through the early 1980s. He recorded for the Jin, Eric, International Artists, Rock-a-Billy and Big Orange record labels for a total of sixteen 45 sides and two vinyl LPs. Some of this material has also appeared on compact disc anthologies by Ace Records. Approximately eighty minutes of Allen’s recordings remain unreleased. Context_5 : Rances Barthelemy (born 25 June 1986 in Cuba) is a Cuban professional boxer and the former IBF Super Featherweight and Lightweight champion. Rances has two brothers, Yan Barthelemy and Leduan Barthelemy, who are also professional boxers. Context_6 : Guillermo Rigondeaux Ortiz (] ; born September 30, 1980) is a Cuban professional boxer. He has held multiple world championships at super bantamweight, including the WBA (Super) and lineal titles since 2013, and previously the WBO and "Ring" magazine titles between 2013 and 2016. As of May 2017, Rigondeaux is ranked as the world's best super bantamweight by "The Ring", the Transnational Boxing Rankings Board, and BoxRec; "The Ring" also ranks him as the sixth best active boxer, pound for pound. Context_7 : Yunier Dorticós (born 11 March 1986) is a Cuban professional boxer who currently holds the WBA (Regular) cruiserweight title. Context_8 : David Allen (born 21 March 1992) is British professional boxer. He has fought 16 times and his record stands at 12 wins, 3 defeats and 1 draw. In 2016 he took on Dillian Whyte and Luis Ortiz, two of the well known names in heavyweight boxing. On May 27, 2017, Allen took on Jamaica's Lenroy Thomas for the Commonwealth title. Allen lost on a split decision with close scorecards reading 115-114, 114-115, 115-114 in favour of Thomas. Context_9 : Lenroy Thomas (born 13 March 1985) is a Jamaican professional boxer. He is the current commonwealth heavyweight champion after beating Dave Allen via a split decision victory. Context_10 : Yordanis Despaigne Herrera (born February 12, 1980) is a Cuban professional boxer who, as an amateur boxer, has medaled repeatedly in international tournaments as a middleweight. fact_1 :  In 2016 he took on Dillian Whyte and Luis Ortiz, two of the well known names in heavyweight boxing. fact_2 : Luis Ortiz (born March 29, 1979) is a Cuban professional boxer. fact_3 :  Nicknamed "The Real King Kong", he is known for his size, punching power and counterpunching skills. Answer: "The Real King Kong"
Output (English): What is the nickname of the Cuban professional boxer that Dave Allen fought in 2016?