Tokio 2020: Mary Dee Vargas se despidió del judo olímpico en octavos de final tras polémica palanca de su rival