. . "Ranger battalion of the United States Army" . . . .