US Open 2017: Justin Thomas rewrites records books as Brian Harman leads