Ingebrigtsen tok DL-tittelen på én engelsk mil – seks tideler fra verdensrekorden