The Washington Redskins are a kind of professional football team.