Nyck de Vries Gran Premio de Hungría 2023: Red Bull logra récord histórico con su duodécima victoria consecutiva