Almir Fonseca, Brazilian navy