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