If you added them all together, the K-12 schools operated by the Defense Department would be one of the nation's biggest districts. That's just one of the services available elsewhere that maybe the military ought to get out of.
