Operação Fórmula 1 Grande Prémio de Portugal 2020