CREATE TABLE "washington_redskins_draft_history" (
  "round" real,
  "pick" real,
  "overall" real,
  "name" text,
  "position" text,
  "college" text
);

Question: Which college had an overall pick of 9?
SQL: SELECT "college" FROM "washington_redskins_draft_history" WHERE "overall"=9;