Alex Trebek has died