Are there any sources/links to these reports please? Thanks
I accessed the public court records and search for Leonardo Corporation:-
https://www2.miami-dadeclerk.com/ocs/Search.aspx?AspxAutoDetectCookieSupport=1
I don't know if IST have public accounts; if they do, any settlement amount might show up.