Warholm til OL-finale med heatseier foran Benjamin