My point is that the title is correct. They do have more armed bureaucrats than there are US Marines, and that is worse than if they just had tanks and fighter jets.