Récords de Javier Lucas en competiciones internacionales