Olympic record
The following new Olympic record was set.