Auction: U.S. TIPS 10-year (new issue)