A federal judge ordered the Trump administration on Monday to turn over the names of any migrants flown recently from the U.S. naval base in Guantanamo Bay to El Salvador so he could determine whether they were deported in violation of a court order he issued.

A judge ruled Wednesday that the Trump administration must facilitate the return of a 20-year-old migrant, who was deported last month, because his removal violated a class action lawsuit settled last year.

Lawyers for a group of at least 137 Venezuelan men sent to a prison in El Salvador last month have urged a judge to order Republican President Donald Trump's administration to facilitate their return to the U.