Instruct: How many different players does the Washington Redskins have?
Output: SELECT COUNT Player FROM table WHERE NFL Team = Washington Redskins