"Marathon du Mont Blanc" 42km race in the French Alps - June 23, 2017.
Jornet finished first 3:45:45, King was third 3:50:49.
Jornet probably has done very little running since summiting Mount Everest last month.
Max King has a Marathon PR of 2:14.
What could Jornet run in a flat marathon (Berlin, etc.) with 6 months of marathon-specific training?