Hi, All. I just recently purchased a home with a pool. We noticed a hole in the plaster today (pictures attached), but not sure what it could be from. The pool was empty when we noticed it. When looking at it, it looked like there was a line of water seeping through the plaster. Could someone please identify what may have caused this? Thank you!