#OnThisDay: Ester Ledecka's Olympic double dip