Who pays for the military, who run the military?