Should Tiger Woods have sat out the PGA Championship?