Peter John Ramos's international records