Alessandro Marques, Exército brasileiro (oficial)