I ran this through Topaz to sharpen, although that probably won't make much difference to the haze effect, and probably not necessary with the full resolution original image. I then imported into Lightroom and gave it a bunch of dehaze slider. I then did a quick mask on the dark portions of the...