Should the Gophers fire Ben Johnson?