What two US state capitals are named for people who were executed?