Table: swimming_records_4
Columns: event
time
nationality
date
meet
location

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