20180617 sports.golf: Golf: US Open final-round pairings