I was glad to discover that he had been executed in 1896. Well, not happy about the execution per se, just glad it was the Spanish who did the killing instead of us Yanks.