Decreto n.º 4217, de 8 de maio

Decreto n.º 4217, tornando extensivos aos oficiais generais da armada os subsídios de renda de casa estabelecidos para os oficiais do exército pelo artigo 1 º e seu § único do decreto n.º 4157, publicado no Diário n.º 89, de 27 de Abril de 1918