US coal export gains extend into July