Parte superior del anfiteatro de El Djem, Mahdia