porta mine