Haukur Davithsson's international records