History of United States Naval Operations in World War II. Vol XV. Supplement & General Index .