Henrik Ingebrigtsen slettet 18 år gammel norgesrekord