Operations in North African Waters, October 1942-June 1943: History of United States Naval Operations in World War II, Volume 2 (History of the United States Naval Operations in World War II)