Permite, a título excepcional, a atribuição do grande-colar da Ordem Nacional do Infante D. Henrique ao general Rocha Vieira