Nicholas Lewis's international records