A midcentury house renovation – pool