If Michigan has to name an interim coach pending an injunction, the choice should be