You are correct, and thank you for noticing my error. Hard to imagine not being able to locate six billion dollars.
It can be located, probably has been, will remain “classified” so that we will never know.