سرنوشت ۹ میلیارد دلار ارز دولتی چه شد؟