Antiguo Muiño del Medio (Porto), PORTO