El anfiteatro de El Djem es el más grande de Africa, Mahdia