Fighter Pilot Compensation: Pension vs. Paycheck