Should we have nuked Japan?