portsmouth is part of virginia