Not sure, because I did not see this discussed in a dedicated thread during the Olympics. The big question is how did he have such a great kick while setting a PR. Usually guys running their PB in a distance race are not able to close very fast when they ran the whole race at max effort.