Who would a naval officer commanding a ship at war with the Japanese during World War II been MOST thankful for?