Here is my version. I opened in ACR - balanced the exposure and played with the White Balance. I then saved to Photoshop, converted to CMYK, played with curves a little, converted to RGB, played with curves a little, saved to JPG, straightened the shoreline, and sharpened. I was not sure how green it was, so tried to end up with something not too saturated green.
I hope you like it.
Dave