Was it over when the Germans bombed Pearl Harbor?