john c porto