Anfiteatro romano de El Djem, Mahdia