https://money.stackexchange.com/questions/129772/has-anyone-...
The oft quoted 'nobody has lost money' is from the FDIC, and specifically says 'insured deposits.'