Pau Ribas's international records