When the pick was below 42 and the player was Chris Horton, what's the highest Overall pick found?
CREATE TABLE "washington_redskins_draft_history" (
  "round" real,
  "pick" real,
  "overall" real,
  "name" text,
  "position" text,
  "college" text
);
SELECT MAX("overall") FROM "washington_redskins_draft_history" WHERE "name"='chris horton' AND "pick"<42;