Signal: half a million coal miners will lose jobs by 2035