Brazil's Batista Sells Stock In Shipbuilder OSX