Charles Leclerc, Carlos Sainz, Mexican GP 2023