Later, I don't know when, they pushed in the walls and made it a pond. Nobody has a record of why.
Bob Harrington