On the night of May 5, 2017, Eliud Kipchoge, the world’s best marathon runner, lay awake with his eyes open and his mind racing.