Sergio de Toledo Machado's international records