Deep Eddy Pool is a historic, man-made swimming pool in Austin, Texas. Deep Eddy is the oldest swimming pool in Texas and features a bathhouse built during the Depression era by the Works Progress Administration. The pool began as a swimming hole in the Colorado River, became a resort in the 1920s, and is today a popular swimming pool operated by the City of Austin.
The US owns the rights to the oldest pool in America
( z1 right :ARG1 ( z2 country :name ( z3 name :op "US" ) ) :ARG2 ( z4 pool :ARG1-of ( z5 have-degree :ARG2 ( z6 old ) :ARG3 ( z7 most ) :ARG5 ( z8 country :name ( z9 name :op "America" ) ) ) ) )