What name is associated with League 142?
CREATE TABLE "overall_scorers" (
  "name" text,
  "years" text,
  "league" real,
  "fa_cup" real,
  "league_cup" real,
  "europe" real,
  "other_a" real,
  "total" text
);
SELECT "name" FROM "overall_scorers" WHERE "league"=142;