Civilian agencies spending less than 2019 appropriations, unlike DoD