SCHEMA:
CREATE TABLE table_name_76 (time VARCHAR, event VARCHAR)
User Question:
What was the record setting time in the 800m freestyle?


SELECT time FROM table_name_76 WHERE event = "800m freestyle"