Récords de Joao Lucas en competiciones internacionales