Hello! Thanks for your feedback. No, I'm not sure. I made the edit based on feedback from a customer who lives nearby. He reported that there was no longer a swimming pool here. If you have more actual information, feel free to revert my edit.
            ---
            
            Published using OSMCha: https://osmcha.org/changesets/146853798
            