The US Navy and the War in Europe