We've booked flights to Seville for 10 days in July 2018. The plan was to stay in Seville and take day trips to Cadiz and Cordoba. I am concerned that the heat combined with a seeming lack of open air public pools might make this a bit of an ordeal with 9 and 11 old children. Any suggestions much appreciated. Thanks.