department challenged the lack of a citizenship question on the 2020 census