Will Romelu Lukaku be Euro 2024 top scorer?

This market will resolve to "Yes" if Romelu Lukaku is the top scorer for Euro 2024. Otherwise, this market will resolve to "No". If this player's team is eliminated and it becomes impossible for this player to be the top scorer, this market will resolve to "No". If there is a tie between two or more players, this market will resolve in favor of the player whose last name comes first alphabetically. The primary resolution source for this market will be information from UEFA Euro 2024, including footage of the games, however a consensus of credible reporting will also be used.