Luís Leal (Luís Leal dos Anjos) - Nationalmannschaft