The Debt Ceiling and Defense Budget: What’s Next for FY24 Registration