Hamilton becomes a seven-time World Champion, Perez equals his career-best result and two drivers become race leaders for the first time. Here are the facts and statistics from the 2020 Turkish Grand Prix!