Warholm leverte karrierens tredje raskeste løp