I want to know the answer to the following question:
What sport do the Washington Redskins play?
All the background I'm provided with is that "Richmond is not home to any major league professional sports teams, but since 2013, the Washington Redskins of the National Football League have held their summer training camp in the city.". Is that enough to answer the question?
Answer: yes