A historical tour of the Pula Arena