RIP:

Although there was some debate in the news media as to the pronunciation of his name: