Puerta del Castillo de San Marcos, EL PUERTO DE SANTA MARIA