Many ships have vanished during hurricanes. No survivors from the lost ships have ever been found. What does vanished probably mean?