Park Franje Josipa I., Pula