Question: Which football player coached by Paul Boudreau is a member of the Pro Football Hall of Fame?

<P0-S0> Derrick Vincent Thomas (January 1, 1967February 8, 2000), nicknamed D.T., was an American football linebacker and defensive end for the Kansas City Chiefs of the National Football League (NFL). <P0-S1>  He played his entire 11-year career for the Chiefs after being drafted fourth overall in the 1989 NFL Draft. <P0-S2>  Thomas, a member of the class of 2009 Pro Football Hall of Fame, was a premier football player throughout the 1990s and is considered one of the best pass rushers of all time. <P0-S3>  In 1990 against the Seattle Seahawks, he set an NFL record with seven sacks in a single game. <P0-S4>  On February 8, 2000, Thomas died from a massive blood clot that developed in his paralyzed legs and traveled to his lungs, causing a pulmonary embolism. <P0-S5>  His paralysis was the result of severe injuries sustained in a car accident weeks earlier. <P0-S6>  Thomas was inducted posthumously into the College Football Hall of Fame in 2014 and the Pro Football Hall of Fame in 2009 <SEP> <P1-S0> Paul T. Boudreau (born December 30, 1949) is an American football coach who last served as offensive line coach for the Los Angeles Rams of the National Football League (NFL). <P1-S1>  He has served as the offensive line coach for eight different NFL teams, one Canadian Football League (CFL) team, and four college teams. <P1-S2>  No offensive line coach in the NFL has more experience as an assistant at the professional level than Boudreau, who entered his 29th season in 2015. <P1-S3>  Boudreau’s stellar offensive lines over the years have helped pave the way for five running backs to top the 10,000-yard career rushing mark, including Barry Sanders, Curtis Martin, Thurman Thomas, Fred Taylor and Steven Jackson. <P1-S4>  This is his second stint with the Rams organization, having previously coached them in the 2006 and 2007 seasons. <SEP> <P2-S0> Kenneth Jerome Riley (born August 6, 1947) is a former professional American football defensive back who played his entire career for the Cincinnati Bengals, in the American Football League in 1969 and in the NFL from 1970 through 1983. <P2-S1>  Riley recorded 65 interceptions in his career, which was the fourth most in Pro Football history at the time of his retirement behind three members of the Pro Football Hall of Fame; Dick Lane, Emlen Tunnell and Paul Krause. <P2-S2>  But despite his accomplishments, Riley was never an exceptionally popular or well known player. <P2-S3>  In his 15 seasons, Riley was never once selected to play in the AFL All-Star Game or the AFC-NFC Pro Bowl, and to this date has not been voted into the Pro Football Hall of Fame. <SEP> <P3-S0> Curtis James Martin Jr. (born May 1, 1973) is a former American football running back who played in the National Football League (NFL) for the New England Patriots and New York Jets. <P3-S1>  Martin began his professional career with the Patriots, who selected him in the third round of the 1995 NFL Draft. <P3-S2>  As a free agent in 1998, he joined the Jets where he finished his career in 2006 due to a career-ending knee injury. <P3-S3>  He retired as the fourth leading rusher in NFL history. <P3-S4>  He was selected as a member of the Pro Football Hall of Fame in 2012.