This is a good day for Mike Pence to resign.