which olympic records are also world records