Operação Dia do Trabalhador 2023 – Mais Brasília