Well gents, "You your fancy, and I to my Nancy," as the old lady said when she kissed the cow.
It's Colin's picture, so he gets to make the decisions. But to anybody who's done much photography -- especially digital photography -- a color cast that pronounced stands out like a sore thumb. The key is the underside of that cloud in the upper right. In real life that's sure to be an equal value in all three primaries: R, G, and B. In other words, it's almost a 100% sure thing that the color of the underside of any cloud that heavy is middle gray. It's really a good deal to have a cloud like that in your picture because you can eliminate any color cast by bringing the pic into ACR (or Lightroom's develop module, which IS ACR) and clicking the underside of the cloud with the middle-gray dropper. Or, you can bring the pic into Photoshop or Elements, bring up Curves or Levels and click the underside of the cloud with the middle-gray dropper. Once you've done that you know you have a picture with correct color balance. (I'm assuming you have a properly calibrated monitor so you can see correct color relationships.)
Once you've learned what the color balance actually ought to be, you can start making changes to your heart's desire. I wasn't completely happy with the real-world version after I clicked on the cloud, so I brought back a bit of blue. It also felt a bit overexposed to me, so I lowered the exposure just a tad.
And I'm with Bruce. The original "crop," which I assume was made in the camera, is the correct one -- as it almost always is, assuming you know what you're doing.