What was the record setting time in the 800m freestyle?
CREATE TABLE "men" (
  "event" text,
  "time" text,
  "nationality" text,
  "date" text,
  "meet" text,
  "location" text
);
SELECT "time" FROM "men" WHERE "event"='800m freestyle';