Danish pension fund divesting US Treasuries