Transforma a SETENAVE - Estaleiros Navais de Setúbal, E. P., em sociedade anónima de capitais maioritariamente públicos