They will have to sue to get the money.
Let’s hope they do and win big. And no, I don’t care that the taxpayers are are on the hook. Let them demand firings to prevent it from happening again.