What Would Have Happened if U.S. Open Ended in a Tie?

June 21, 2016