20170512 sports.golf: Garcia makes hole-in-one at Players' famed island-green 17th