The crop I think works. Post Processing can be a very personal thing and IMO too many folk use the tools like an artists pallete i.e. the tools are there so I will use them
However, for me the picture either has potential or not but should not need too much processing to 'bring it out...' Though my quick PP is on the original you posted with its PP'ing here I have made DRL adjustments > boosted contrast with Local Contrast Enhancement USM > Smart Sharpened to effect. This has kept some of the moodiness but still with the washed out sky!
If you care to post the original unedited file, as the sky seems to have more in it than your first edited image suggests I/others (as you have now allowed editing) can offer their insights.
Also had a look at the one above, editing mainly to reduce the brightness of the midtones (I surmise in PS layers and area editing would help ~ but PS and I do not talk to well
In LR I might have looked at using the gradient filter to work on the sky???)