Porto di Ripa Grande, dogana e ospizio San Michele