user: Question: How many different players does the Washington Redskins have?
Columns: ['Pick #', 'NFL Team', 'Player', 'Position', 'Pro Team', 'College']
Types: ['real', 'text', 'text', 'text', 'text', 'text']
Sample row: [57.0, 'Tampa Bay Buccaneers', 'Alex Clark', 'DB', 'New Orleans Breakers', 'LSU']
SQL:

assistant: SELECT COUNT("Player") FROM "Table" WHERE "NFL Team" = 'Washington Redskins';