Puerto de Hondarribia, antes de sus posteriores ampliaciones