Excellent update, just a small quibble with Footnote [4] and its attendant section:
"San," of course, as you well know is the Spanish for Saint, and the King is obviously not - at least, at this point - a Catholic saint. But, of course, naming it directly after the King might sound...