re: #814 Optimizer

“Back in the day” Japan was a major power on a par with the US, had a decent chance of knocking us out of the picture by sinking a good part of our Pacific fleet, but was up against a country with some backbone.

Different situation, I’d say.

Yea…but the damned German’s beat’em to it at Pearl.

What?