Question: Which American former professional boxer later stripped of the WBC title for facing Ali in an unapproved rematch did Randall Craig "Tex" Cobb take a win from?

Context paragraphs:
Leon Spinks: Leon Spinks (born July 11, 1953) is an American former professional boxer who competed from 1977 to 1995.  In only his eighth professional fight, he won the undisputed heavyweight championship in 1978 after defeating Muhammad Ali via split decision, in what was considered one of the biggest upsets in boxing history.  Spinks was later stripped of the WBC title for facing Ali in an unapproved rematch seven months later, which he lost by unanimous decision.

Gerald McClellan: Gerald Allen McClellan (born October 23, 1967) is an American former professional boxer who competed from 1988 to 1995.  He is a two-time middleweight world champion, having held WBO title from 1991 to 1992, and the WBC title from 1993 to 1995.  McClellan was forced to retire from boxing after a severe brain injury suffered during his final fight in 1995, a loss to WBC super middleweight champion Nigel Benn.

Hasim Rahman: Hasim Sharif Rahman (born November 7, 1972) is an American former professional boxer who competed from 1994 to 2014.  He is a two-time world heavyweight champion, having held the unified WBC, IBF, IBO, and lineal titles in 2001; and the WBC title again from 2005 to 2006.  Rahman first became known on the world stage in 2001 when he scored an upset knockout victory against Lennox Lewis to win the unified heavyweight championship.  Lewis avenged the loss and regained his championship by knocking out Rahman in a rematch later that year.  Rahman won the WBC title (initially the interim version) for a second time in 2005 by defeating Monte Barrett, after which the WBC elevated him to full champion status by the year's end.  His reign as champion ended in 2006 via another knockout loss, this time to Oleg Maskaev in a rematch of their first fight in 1999.

Chris Byrd: Christopher Cornelius "Chris" Byrd (born August 15, 1970) is an American former professional boxer who competed from 1993 to 2009.  He is a two-time world heavyweight champion, having first won the WBO title in 2000 after an upset corner stoppage over then-undefeated Vitali Klitschko.  In his first title defense later that year, he lost to Vitali's brother Wladimir Klitschko.  In 2002, Byrd defeated Evander Holyfield to win the IBF heavyweight title for his second reign as world champion.  He made four successful defenses until losing his title again to Wladimir Klitschko in a 2006 rematch.  Byrd's cousin, Lamon Brewster, has a shared history with Wladimir Klitschko: Brewster defeated him in 2004, but lost in a 2007 rematch.

Tim Witherspoon: Tim Witherspoon (born December 27, 1957) is an American former professional boxer who competed from 1979 to 2003.  He is a two-time world heavyweight champion, having held the WBC title in 1984, and the WBA title in 1986.  Upon winning his second world title, Witherspoon joined Floyd Patterson and Muhammad Ali as the only boxers to win multiple world heavyweight championships.

Shinsuke Yamanaka: Shinsuke Yamanaka (山中 慎介 , Yamanaka Shinsuke , born October 11, 1982) is a Japanese professional boxer, and former WBC and "The Ring" bantamweight world champion, having held the WBC title between 2011 and 2017.  He made twelve successful defences of the WBC title and his reign is the fourth longest in boxing's bantamweight division.  As of May 2017, he is ranked as the world's best bantamweight by "The Ring" magazine, BoxRec and the Transnational Boxing Rankings Board.  He is also ranked as the world's seventh best boxer, pound for pound, by BoxRec, ninth by "The Ring" magazine, and ninth by the Transnational Boxing Rankings Board.

Mike Tyson: Michael Gerard Tyson ( ; born June 30, 1966) is an American former professional boxer who competed from 1985 to 2005.  He reigned as the undisputed world heavyweight champion and holds the record as the youngest boxer to win a heavyweight title at 20 years, 4 months and 22 days old.  Tyson won his first 19 professional fights by knockout, 12 of them in the first round.  He won the WBC title in 1986 after stopping Trevor Berbick in two rounds, and added the WBA and IBF titles after defeating James Smith and Tony Tucker in 1987.  This made Tyson the first heavyweight boxer to simultaneously hold the WBA, WBC and IBF titles, and the only heavyweight to successively unify them.

Muhammad Waseem: Muhammad Waseem (born 29 August 1987) is a Pakistani professional boxer from Quetta, Balochistan, Pakistan, who competes at the flyweight division of the WBC, and is Pakistan's first professional boxer to have ever held a WBC title.  He is the Current WBC Silver Flyweight Champion.

Randall &quot;Tex&quot; Cobb: Randall Craig "Tex" Cobb (born December 10, 1953) is an American former professional boxer who competed in the heavyweight division.  Widely considered to possess one of the greatest chins of all time, Cobb was a brawler who also packed considerable punching power.  He began his fighting career in full contact kickboxing in 1975 before making the jump to professional boxing two years later.  He challenged Larry Holmes for the WBC heavyweight title in November 1982, losing a one-sided unanimous decision, and took wins over notable heavyweights of his era such as Bernardo Mercado, Earnie Shavers, and Leon Spinks.

Chad Dawson: Chad Dawson (born July 13, 1982) is an American professional boxer.  He is a three-time former light heavyweight world champion, and was one of the most highly regarded boxers in that division from 2006 to 2013.  Dawson rose to prominence on the world stage in 2007, when he defeated Tomasz Adamek to win the WBC light heavyweight title.  After vacating that title, he defeated Antonio Tarver in 2008 to win the IBF and IBO titles.  Dawson's first career loss was to Jean Pascal in 2010, after which he would win the WBC title for a second time, as well as the "Ring" magazine and lineal titles, by defeating Bernard Hopkins in 2012.  In the same year, "The Ring" ranked Dawson as the world's tenth best active boxer, pound for pound.

Supporting paragraphs: Randall &quot;Tex&quot; Cobb Leon Spinks
Answer: Leon Spinks