I went running along the Han River with Sean. He said he easily completed the 10km in 56 minutes, the last 1km was a build-up, and the last 100m was finished in 4:15/km.