Dow finishes up 84 points, about half of what it had climbed to earlier in the session. Still shapes up to be the best July since 1939. Index at 9154.