Hillary and Obama have lost more than this with no accounting for it.
It was probably the previously allocated wall money :-)