Atletismo en los Juegos Olímpicos de verano de 1972: lanzamiento de disco masculino