US Hampton Roads coal exports jump to 19-month high in October