Does the PGA Tour Need a Shorter Season?