Lewis hamilton, formula one, ferrari, and charles leclerc