John Emanuels's international records