The Historically Changing Role of Port Rijeka in the Hungarian Context (1719–1941), with a Special View on Triest