Was it over when Germans bombed Pearl Harbor?