This should be tagged leisure=swimming_pool. See this example at a neighbouring property: https://www.openstreetmap.org/way/614528341
            ---
            #REVIEWED_BAD #OSMCHA
            Published using OSMCha: https://osmcha.org/changesets/133851212
            