US official: 2020 census to end Oct. 5 despite court order