DPRK spent 16% of 2023 budget on defense amid regional tensions | Al Mayadeen English