Why does a thunderstorm make my pool turn green?