Irish Marines of the Pacific: Notre Dame, Football and World War II