Warholm satte ny europeisk rekord: – Han utklasser resten