Чему равен официальный мировой рекорд у мужчин в беге на 5000 метров, принадлежащий Джошуа Чептегеи?

• 12:35.36
• 14:06.62
• 17:06.62
• 11:35.36
• 10:35.36