Amphitheater of Pompeii, Ancient Pompeii, Pompeii Palaestra