Лёгкая атлетика на летних Олимпийских играх 1972 — бег, 5000 метров (мужчины)