El dividendo del Distrito Real (de minas)