Choosing the strategy for invading the Japanese mainland