Warholm sparte seg videre i OL – møter Benjamin i semifinalen