Should John Boehner have resigned?