Pension benefits are for the past services rendered by employee to Government to secure his/her standard of living after retirement in old age till death. Benefits go with person not with citizenship. Even after her naturalization as U.S. citizen she is entitled to her full pension as well as husband’s as if she is citizen of India.