Récords de Cock Van De Lagemaat en competiciones internacionales