10 U.S.C. § 1439. — Refund of amounts deducted from retired pay · Congress.wiki