among the football players who scored 35 goals in international games, who is the best scorer?
(ARGMAX (AND soccer.football_player (JOIN soccer.football_player.total_international_goals 35^^http://www.w3.org/2001/XMLSchema#integer)) (JOIN (R soccer.football_player_stats.player) soccer.football_player_stats.total_goals))