yep, looks like they still have some reserves
I also found this spreadsheet, published by the government, which says how much money in US treasuries each country has:
https://ticdata.treasury.gov/resource-center/data-chart-center/tic/Documents/slt_table5.html
They appear to publish figures for ea...