מותר להיות בבריכה בתשעה באב או שגם זה אסור?