Eating and cooking on US submarines in World War II, and two recipes from the 1945 Cook Book of the United States Navy