20170618 sports.golf: Thomas has record nine-under; Harman grabs US Open lead