US Open 2017: Justin Thomas shoots record score, Brian Harman leads