If you read the SCOTUS ruling, all it upholds from the lower courts decision is that the USG must 'facilitate', not 'effectuate' his release. AFAIK the Court doesn't have a way to order El Salvador to do so