Olympic record
12 walkers beat the old Olympic record.