Talk:Vander Decken

Full name
According to wikipedia, Van der Decken's full name is Hendrik van der Decken. While we don't know if that is the character's full name, I think it should be added as trivia or something, since the names of both the captain and the ship were taken right out of maritime folklore. Does anyone agree or disagree?DancePowderer 16:06, December 2, 2010 (UTC)