who was the person that set the 72-record that was tied by the golfer that won the tournament known to be the last appearance of ben crenshaw ?
tiger woods