Records de Josip Batinic en compétitions internationales