af de portugisiska myndigheterna och kaptenen satt i frihet.