If you had a choice of diving in Galapagos in July, August or September, which month would you pick for the best chance of whale shark encounters? (As background, we dived in Galapagos in December and saw the huge schools of hammerheads, and would like to return now during whale shark season. Our schedule is flexible, so we could go any month really, but are looking at July, Aug or Sep based on info from this board). Thanks for the advice!