“President Trump signed a bill to fund most of the Department of Homeland Security, but it excluded funding for immigration enforcement.”