What difference does it make whether they are US citizens or not?
At least DHS is not interested in finding out. And there has been plenty US citizens deported under DHS.
https://www.congress.gov/119/meeting/house/118180/documents/...
https://www.propublica.org/article/immigration-dhs-american-...