There are many ways to correct color.
You can use the color balance. (pump up the blue in this case.)
You can use the levels and adjust the different color channels.
You can use curves and select the lightest, middle gray and darkest points.
You can shoot in RAW and colour manage from there.