Industrial production rose sharply in July.