Coal mines - current or former - as well as facilities related to coal mining