How many different players does the Washington Redskins have?
CREATE TABLE "third_round" (
  "pick_num" real,
  "nfl_team" text,
  "player" text,
  "position" text,
  "pro_team" text,
  "college" text
);
SELECT COUNT("player") FROM "third_round" WHERE "nfl_team"='Washington Redskins';