Leonardo sells 6.9% in its U.S. unit DRS at $17.75 per share