Martin Higgins's international records