what was the personal best time of the gold medal winner of the womens 1500m race ?
4:00.23