Qual foi o primeiro presidente civil após a ditadura militar?