Designação de Ricardo Carvalho Mendes, em comissão de serviço, no cargo de chefe de divisão de Gestão da Segurança e Infraestruturas (DGSI)