Shark?
After viewing the film, I came here and was surprised to see him called "Shark." Where does this information come from? No character names are mentioned in the leading credits, and there are no trailing credits.
He is called "Chark" at every instance in the subtitles on the DVD.