Arena del anfiteatro romano El Djem, Mahdia