US thermal and metallurgical coal exports total 4.6 million mt in October, down 21.5% on year: Census