José Antonio Silva do Porto (n.