CREATE TABLE table_name_76 (time VARCHAR(255), event VARCHAR(255))
What was the record setting time in the 800m freestyle?
    
SQL: SELECT time FROM table_name_76 WHERE event = "800m freestyle"