Foreigners have $25.2 trillion invested in the US, a record high