No, we weren't given the ship name or anything. An oversight, perhaps, but we were trying to blend in and not be suspicious with our questions. I can say the person who told us made it sound like it was their current captain, so if the person actually found it they would have to have been holding onto it secretly without their crew knowing about it.