Atletik: Norske Jakob Ingebrigtsen vandt guldmedaljen med en ny olympisk rekord i mændenes 1500 meter løb, mens der var kenyansk sølv og britisk bronze.