Mexico Grand Prix: A fitting end to Antonelli’s championship season