Mike James's international records