US Open Golf 2017: Brian Harman edges clear, Justin Thomas dazzles in blitz