Juan Vaulet's international records