Operators shall give notice of mine closures and file copies of maps with the Coal Mine Safety and Health District Office for the district in which the mine is located.