Question: What former American football wide receiver played for the Miami Dolphins with Dan Marino?
Sentence (from "1983 Miami Dolphins season"): The 1983 season was the 18th season in football for the Miami Dolphins and they sought to return to the Super Bowl after losing to the Washington Redskins in Super Bowl XVII.
Relevant evidence: No