U.S. Hampton Roads Coal Exports Total 3.1 million st in October