The executive order blocks any "attachment, judgment, decree, lien, execution, garnishment, or other judicial process" against foreign government deposit funds, explicitly including revenues from Venezuelan oil and diluent sales held in the US