Olympia: 1500-Meter-Läuferin Mäki mit tschechischem Rekord im Finale von Tokio