20181201 sports.golf: Tiger Woods avoids penalty for double-hit