Commerce secretary says 2020 census will end Oct. 5 despite court order