A 65-year old individual has just retired after working for the same employer for 20 years. He will collect an annual pension benefit of $50,000, but is not yet ready to stop working. He has lined up a part-time job that will pay $3,000 this coming year. How much can he contribute to a Traditional Individual Retirement Account for his first year in retirement