The pool at the Eden House