Villa Petra, swimming pool