Foreign Governments Cut US Treasury Holdings to $9.25 Trillion