Charles Bennett
Charles Bennett set a new Olympic record and a new unofficial world record at 4:06.2.