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