Report: July total U.S. retail sales mixed