Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Quantos jogadores diferentes o Washington Redskins tem?
 ###Tabelas: CREATE TABLE women's_singles (women's_singles_id AUTO_INCREMENT PRIMARY KEY, Location VARCHAR, Year INT, Champion VARCHAR, Runner-up VARCHAR, Score VARCHAR) CREATE TABLE gt300 (gt300_id AUTO_INCREMENT PRIMARY KEY, Team VARCHAR, Make VARCHAR, Drivers VARCHAR, Tyre VARCHAR, Rounds VARCHAR) CREATE TABLE production_history (production_history_id AUTO_INCREMENT PRIMARY KEY, Country VARCHAR, 2005 Capacity VARCHAR, 2006 Capacity VARCHAR, 2007 Capacity VARCHAR, 2008 Capacity VARCHAR, 2009 Capacity VARCHAR, 2010 Capacity VARCHAR, 2011 Capacity VARCHAR, 2012 Capacity VARCHAR) CREATE TABLE third_round (third_round_id AUTO_INCREMENT PRIMARY KEY, Pick # INT, NFL Team VARCHAR, Player VARCHAR, Position VARCHAR, Pro Team VARCHAR, College VARCHAR) CREATE TABLE race_history (race_history_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Track VARCHAR, Race VARCHAR, Purse Hi VARCHAR, Finish VARCHAR, Time VARCHAR, Last 1/4 INT, Odds VARCHAR, Driver VARCHAR)  
SELECT COUNT Player FROM third_round WHERE NFL Team = Washington Redskins