A U.S. federal judge on Monday pressed the Trump administration to provide details about hundreds of Venezuelans it deported despite a court order barring it from doing so, and gave the government until Tuesday to explain why officials believed they had complied with his order.

The Trump administration has transferred hundreds of immigrants to El Salvador even as a federal judge issued an order temporarily barring the deportations under an 18th century wartime declaration targeting Venezuelan gang members,

A Trump administration lawyer argued both that the judge’s initial oral ruling to block the flights was superseded by a more sparsely written order issued later, and that the government had the legal right to continue with flights once they had left U.