The United States has formally launched the legal process for a proposed $825 million arms sale to Morocco, involving short-range air defense systems, according to a notice published by the U.S.