They gave their bitcoin to Havelock, an unlicenced Panamanian exchange.
Unlicensed under US law you mean? I thought they did have a Panamanian license.
They are a registered Panamanian company, not a licenced exchange. There are two exchanges licenced in Panama, Havelock is not one of them.