In which state was the American astronomer who discovered spiral galaxy NGC 1234 born?