Decreto que establece el Día de la Marina en homenaje a Miguel Grau. Año 1945.