discharge <sectors> <total-required>
    Offers early retirement to military in <sectors>. Not more than 50%, none
    in boot camp sectors. For a sector to be eligable for early retirement
    there must be at least 25 civilians and more than 5 military already
    present. The total will be spread fairly uniformly over the eligible
    sectors.
Doc: sectors, war
Help: census, enlist, syntax
