Was 2023 Miami GP Max Verstappen's best-ever race for Red Bull?