The tenth of July is the day of industry and mining