josé ricardo porto.