“Os tripulantes do ‘Pueblo’, no momento em que se dirigiam para o helicóptero que, de Panmunjon, os transportou para território da Correia do Sul, depois de terem sido libertados pelas autoridades norte-coreanas”