Porto Vecchio of Trieste: A Long History