Get your taxes done using TurboTax

As mentioned above, the contributions were made to my account prior to becoming a US resident. I am copying a paragraph from the link I provided, it sounds like it's not taxable:

 

Foreign Contributions while a Nonresident Alien
Your contributions and your employer's contributions are not part of your Cost if the contribution was based on compensation for services performed outside the United States while you were a nonresident alien and not subject to income tax under the laws of the United States or any foreign country (but only if the contribution would have been taxable if paid as cash compensation when the services were performed).

 

Foreign Contributions while a Nonresident Alien

https://www.irs.gov/businesses/the-taxation-of-foreign-pension-and-annuity-distributions