Nomeação do Capitão de Administração Militar Pedro Miguel Rodrigues Marques, da Guarda Nacional Republicana, para o desempenho de funções no Serviço de Estrangeiros e Fronteiras