Amphithéatre romain de Pula, Istrie