Nomeação de Antônio Hortêncio como procurador-geral de Justiça é publicada no DOE