The fierce battle at Portimão between Lewis Hamilton and Max Verstappen that was everyone expected – and was indeed hoping…