Trump's bid to exclude immigrants from the 2020 census appears doomed