Yes. I believe so.
"Do you remember if that bill (The El Chapo asset forfeiture bill) designated that the money was to be used for the wall?
Yes it did designate the money for the wall - and it would have been Mexicans paying for it.
Another proposal on the House side would establish a fund of up to $25 billion, that the Administration could fill through many possible non-appropriated ways (such aset forfeiture being one of them).