How much did the United States provide in military assistance