Although, of course, I wasn't there, the image looks much more natural to me without the blue cast. In fact, I'm quite surprised that some of the edits seem to have enhanced the blue. It seems likely from my experience that really blue water is the result of a relatively calm surface reflecting a cloudless blue sky, otherwise the water tends towards a mixture of greenish-blue tones.
I do not have Lightroom but ACR might be similar, so the originally posted Jpeg was loaded into ACR via PS Elements, and the following applied - White Balance: Temperature +15, Tint +15; Exposure: +0.33. The image was transferred to Elements and some local contrast then applied (to make the details pop a bit more) using Unsharp Mask: 20%, 50 pixels, 0 levels.
Philip