Grove, OK City Pool