Husband is receiving a pension from the Office of Personnel Mgmt. He was a mail carrier. Should I check the Qualified gvmt retirement distr box?