Question: In what event, featuring the Dolphins and the Redskins, did John Riggins participate in?

<P0-S0> T.D. (for The Dolphin) is the official mascot of the National Football League's Miami Dolphins. <P0-S1>  The Dolphins' official website jokingly states that T.D. was signed on April 18, 1997 by former head coach Jimmy Johnson. <P0-S2>  The Dolphins conducted a "Name the Mascot" contest that drew over 13,000 entries, covering all 50 states and 22 countries. <P0-S3>  528 names were suggested and the winning entry was announced at the annual Dolphins Awards Banquet on June 4, 1997. <P0-S4>  T.D. first appeared at a Dolphins home game on August 10, 1997 against the Chicago Bears; his first Dolphins home playoff appearance was January 2, 1999 in a win against the Buffalo Bills. <P0-S5>  He was selected to the Pro Bowl in 1999, 2001, 2003, 2004, 2010, 2012, 2014, 2016, and was the first NFL mascot to participate in the Hall of Fame Game in Canton, Ohio in 2001. <P0-S6>  He was invited to Hong Kong to participate in the 2005 Chinese New Year's Day Parade, and recently on May 2, 2015, T.D. was invited to participate at 2015 NFL Draft Town in Chicago, Illinois. <SEP> <P1-S0> Super Bowl XVII was an American football game between the American Football Conference (AFC) champion Miami Dolphins and the National Football Conference (NFC) champion Washington Redskins to decide the National Football League (NFL) champion for the 1982 season. <P1-S1>  The Redskins defeated the Dolphins by the score of 27–17 to win their first Super Bowl championship. <P1-S2>  The game was played on January 30, 1983 at the Rose Bowl in Pasadena, California. <SEP> <P2-S0> Robert John Riggins (born August 4, 1949), nicknamed "The Diesel" and "Riggo", is a former American football running back who played professionally in the National Football League (NFL) for the New York Jets and Washington Redskins. <P2-S1>  He was known for his powerful running style and productivity well into the latter years of his career; in 1983 at age 34, he rushed for an NFL single-season record 24 touchdowns, and again led the league in rushing touchdowns the following season at age 35. <P2-S2>  Although he had only one Pro Bowl appearance in his career, Riggins had his greatest success in the postseason, and was named the Most Valuable Player of Super Bowl XVII. <P2-S3>  Riggins was inducted into the Pro Football Hall of Fame in 1992. <SEP> <P3-S0> Super Bowl VII was an American football game between the American Football Conference (AFC) champion Miami Dolphins and the National Football Conference (NFC) champion Washington Redskins to decide the National Football League (NFL) champion for the 1972 season. <P3-S1>  The Dolphins defeated the Redskins by the score of 14–7, and became the first and still the only team in NFL history to complete a perfect undefeated season. <P3-S2>  They also remain the only Super Bowl team to be shut out in the second half and still win. <P3-S3>  The game was played on January 14, 1973, at the Los Angeles Memorial Coliseum in Los Angeles, the second time the Super Bowl was played in that city. <P3-S4>  At kickoff the temperature was 84 F , making the game the warmest Super Bowl ever.