Craig Edmonds's international records