A swimming pool and lanai at a home in Florida