presidente del presidium de la Asamblea Popular Suprema de la República Popular Democrática de Corea António Costa