In the run up to a potential shutdown in September 2023, the Defense Department said in a memo to Pentagon leaders that ...