Pedro Rocha's international records