David Benichu's international records