Did you know that despite playing as a defender , Ildefons Lima is the leading goalscorer in the history of the Andorra national football team ?