Danish pension fund decides to sell US Treasury Bonds