Are DPRK hard-currency reserves expected to dry up by October?