Who won the match between Tiger Woods and Phil Mickelson?