I've been reading the posts here and in the other sections of the forum, and I see distilled water mentioned sometimes. Should the bleach be diluted with distilled water when being put into the pool? Or is that just for some types of pools?