Under "Retirement Benefits Received by a Member of the U.S. Armed Forces" what do you put in the box for "Allowable US Armed Forces retirement benefit deduction"?