3:41 in 2017. It’s nowhere near as big an upset as you’re making it out to be. He’s due for a big PR.
The race was not sub 4... It was anybody's race. He more speed than everybody else that day and then people that "should have won" didn't run it to keep guys like him out of it.