Table schema:
CREATE TABLE table_name_76 (time VARCHAR, event VARCHAR)

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