What is John Cole's overall pick number?
CREATE TABLE "indianapolis_colts_draft_history" (
  "round" real,
  "pick_num" real,
  "overall" real,
  "name" text,
  "position" text,
  "college" text
);
SELECT COUNT("overall") FROM "indianapolis_colts_draft_history" WHERE "name"='john cole';