Sure, there might be places where you could convert that Bitcoin into a local fiat currency, but then what? You have US$7.5B denominated in some random fiat currency that is likely mostly cut off from the "main" transactable currencies of the world. You'd have to find ways to slowly launder it and convert it into something else. Doable, I guess, and maybe worth the time and effort considering you can't do anything with the money otherwise, at least not without getting caught. But doing all that is risky as well... make a mistake and you could get caught.
There’s records and then there’s “records”.
https://www.icij.org/investigations/fincen-files/hsbc-moved-...
So yes records (of sometimes dubious quality) are kept from a pedantic standpoint, but I understood GP to mean that this would prevent someone from laundering large sums through (large respectable) banks which is demonstrably not always the case.
Not only may these logs be questionable, but apparently the penalties, using the HSBC example, don’t seem to be a deterrent.
TLDR; banks having records doesn’t mean shit when you want to launder large sums of money.
https://www.wsj.com/articles/SB10000872396390443713704577601...
https://www.wsj.com/articles/SB10001424127887324412604578512...
Is that how it works? Won't there be, say banking institutions that simply won't keep a record of who converted the bitcoin to money similar to how VPN providers are claiming to not log user's IP addresses?