CREATE TABLE table_name_76 (time VARCHAR, event VARCHAR)

What was the record setting time in the 800m freestyle?
SELECT time FROM table_name_76 WHERE event = "800m freestyle"
SELECT "time" FROM "table_name_76" WHERE "800m freestyle" = "event"