Renan Sandes, Marinha do brasil (oficial)