I wouldn't be surprised to find out the money was allocated but mysteriously disappeared like the stimulus and green energy trillions. No one knows where that money went yet either. Poof! It simply vanished into thin air.
Ping.