US thermal coal exports resume gains in May