Cerrojo para pechar la porto, PORTO