Question: In what event, featuring the Dolphins and the Redskins, did John Riggins participate in?
Sentence (from "Super Bowl XVII"): 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.
Relevant evidence: Yes