7 de mayo: día de la minería