朝鲜将把总预算的15.7%用于国防