Foreign ownership of US Treasuries hits record high