If you work on an adjustment layer it is possible to use filters such as dehaze, or many others, but selectively apply the results by masking so any excessive areas can be subdued.
Here is my alternative edit by simply using a Curves layer.
But when I compare the original image, as a PSD file, against this internet size JPEG there is a lot of softening and colour/contrast loss with the JPEG version.
These images really need to be viewed with the Lightbox view to see the full differences.