Feriado municipal de 2 de outubro é mantido para o Judiciário, em Porto Velho