Ny norsk rekord på én engelsk mil for Jakob Ingebrigtsen – vant overlegent i Eugene