Repartições públicas de Porto Velho fecham nesta quinta-feira (21), feriado de Tiradentes