Institúyase el día 13 de octubre como el "Día Nacional de la Seguridad Minera".