What state notably abolished the death penalty and then reintroduced it, but didn't use it again?