Lucha libre en los Juegos Olímpicos de verano de 2000: estilo libre masculino de 130 kg