Portugal disponível para reforçar contingente de combate ao Estado Islâmico