what is the name of the football player who has 78 career goals?
(AND soccer.football_player (JOIN soccer.football_player.total_career_goals 78^^http://www.w3.org/2001/XMLSchema#integer))