What is catcher Josh Donaldson's pick number?
CREATE TABLE "supplemental_first_round_selections" (
  "pick" real,
  "player" text,
  "team" text,
  "position" text,
  "school" text
);
SELECT "pick" FROM "supplemental_first_round_selections" WHERE "position"='catcher' AND "player"='josh donaldson';