Isaac Nader com mínimo olímpico, Ingebrigtsen bate recorde europeu dos 1.500 metros