Coal revival? Hampton Roads’ coal exports are up big in 2017