Ingebrigtsen-brødrene satte ny personlig rekord på en engelsk mil