Formal settlement of the L.A. Times’ FOIA lawsuit against the Defense Department