Verstappen records the first win from ninth on the grid in almost 40 years, Perez reaches 30 podium finishes and Gasly scores in the United States for the first time. Here are the facts and statistics from the 2023 Miami Grand Prix!