How many total rounds has lehigh as the college?
CREATE TABLE "washington_redskins_draft_history" (
  "round" real,
  "pick" real,
  "overall" real,
  "name" text,
  "position" text,
  "college" text
);
SELECT COUNT("round") FROM "washington_redskins_draft_history" WHERE "college"='lehigh';