Sea war; the story of the U. S. merchant marine in World War II