Editorial cartoon: Was Mike Pence here?