2 of 2 credits have a verdict, together taking $752M. The biggest was Operation Red Sea at $579M. The rest are still counting, or never reported a budget.