against El Salvador and Guyana but did not appear in either of the two matches. Lagos made his debut in a 1–1 draw against Bolivia on November 14, 2012. Lagos scored his first goal with the national team in a 2–0 victory against Nicaragua in the Copa Centroamericana