US coal exports rose in October, topped 2019 levels