From a Spanish Palace Songbook: Music from the Time of Christopher Columbus