Tokio 2020 La mejor carrera de la historia: los siete récords que se rompieron y el oro olímpico para Warholm