Judo at the 1992 Summer Olympics - Women's 72 kg