Patio de Armas del Castillo de San Marcos, EL PUERTO DE SANTA MARIA