Career Marques gained 2 caps for Portugal and made his debut 13 March 1945 in Lisbon against Spain, in a 2-2 draw.