Funny ship names. (Long post)