Yes, I imagine we are due for some sort of Kabuki Theater production from the Trump Admin and El Salvador, where the Trump admin pretends to try to get the guy back and says El Salvador says "We, the sovereign government of El Salvador, believe it is an intrusion on our national sovereignty for you to demand the return of this person; no take backs" and the admin then throws up its hands and says "we tried." Meanwhile behind the scenes they are furiously texting El Salvadorian officials on Signal saying "we're gonna ask for this guy back but don't give him back, here's what you need to say." And then it will work its way back up to the Supreme Court to decide how convincing the administration is.