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