History and records of the Senior PGA Championship