The pool at Allamanda Beach Hotel