'Jeopardy!': Should Mike Richards be the permanent host?