Enrique Navarro's international records