“naval aviation from World War II to the Persian Gulf”