October US Coal Exports Highest Since March 2014: Census