North Korea Records 3.7% Economic Growth... Driven by Arms Sales with Russian Support