US DATA: July Markit flash PMI data show output and orders down but
employment 52.9 vs 52.8.