João Ferreira Resende Alves (João António Ferreira Resende Alves) - Nationalmannschaft