I started using Curves (Photoshop CC) to adjust the Blue Chanel and then the same curve to adjust RGB values to obtain a bluer sky.
Result:
I also add blue Chanel saturation.
There must be a better way to get a blue sky without over-saturating all colors and/or causing color shifting. But I don't know what that may be...?