The Pentagon has been scrambling to put in motion Trump’s executive orders signed shortly after he took office on Jan. 20.

Around 11,000 undocumented migrants have been arrested under the Trump administration in major cities around the United ...