Carl van Dockum — Danish naval officer and marine minister (1804–1893)