an outdoor swimming pool next to the ocean