which record does the runner-up of the mens 5000m race hold and in what time ?
world record holder in the marathon with a time of 2:01:39