Valerio Mazzola's international records