In January 2010, the U.S. Treasury issued a $1000 par, ten-year, inflation-indexed note with a coupon of 4%. On the date of issue, the consumer price index (CPI) was 200. By January 2020, the CPI had increased to 300. The principal payment that was made in January 2020 is closest to: