Gary Woodland gewann die US Open