I have no idea where this came from. It has apparently been in my music collection for quite a long time; it seems to have come from iTunes, but I have no recollection of downloading it, and there isn’t anything else from King of Spain on my hard drive. Nevertheless, I found this last night playing through my library at random, and I discovered that it is awesome and I love it, so hooray for serendipity.