Operação Rodovida, da Polícia Rodoviária Federal: segurança nas estradas na alta temporada