danny devito in pirates of the caribbean