“The war was declared over - the end of major combat operations - in May 2003. Release procedures got under way immediately; reducing the population from 8,000 to just over 300, of course, requires fewer military police soldiers.”