Was that boat ever salvaged? There had to be quite a lot of money on board. Or did they have time to get everything off before it sank?