Like Mellisa says, there are so many ways to approach this. I chose not to try and correct the problem area, but to borrow pixels from other parts of the image, and feather them in. That left some tiny adjustments to merge colours and tones, which were done with clipped Curves and Hue/Saturation layers. I also cleaned up the horizon, used Topaz DeNoise, Smart sharpen, and took a bit of weight of Uncle.
